|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CharSequence | |
java.lang | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
java.util.regex | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
Uses of CharSequence in java.lang |
Classes in java.lang that implement CharSequence | |
class |
String
JML's specification of java.lang.String. |
class |
StringBuffer
JML's specification of StringBuffer. |
Methods in java.lang that return CharSequence | |
CharSequence |
String.subSequence(int beginIndex,
int endIndex)
|
abstract CharSequence |
CharSequence.subSequence(int start,
int end)
|
CharSequence |
StringBuffer.subSequence(int start,
int end)
|
Uses of CharSequence in java.util.regex |
Methods in java.util.regex with parameters of type CharSequence | |
Matcher |
Pattern.matcher(CharSequence input)
|
static boolean |
Pattern.matches(String regex,
CharSequence input)
|
String[] |
Pattern.split(CharSequence input,
int limit)
|
String[] |
Pattern.split(CharSequence input)
|
Matcher |
Matcher.reset(CharSequence input)
|
|
JML | ||||||||||
PREV NEXT | FRAMES NO FRAMES |