|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||
| Packages that use Pattern.CharProperty | |
| java.util.regex | JML Specifications for the corresponding types in the Java Developement Kit (JDK). |
| Uses of Pattern.CharProperty in java.util.regex |
| Methods in java.util.regex that return Pattern.CharProperty | |
private Pattern.CharProperty |
Pattern.clazz(boolean)
|
private Pattern.CharProperty |
Pattern.range(Pattern.BitClass)
|
private Pattern.CharProperty |
Pattern.family(boolean)
|
private Pattern.CharProperty |
Pattern.unicodeBlockPropertyFor(String)
|
private Pattern.CharProperty |
Pattern.charPropertyNodeFor(String)
|
private Pattern.CharProperty |
Pattern.newSingle(int)
|
private static Pattern.CharProperty |
Pattern.rangeFor(int,
int)
|
private static Pattern.CharProperty |
Pattern.caseInsensitiveRangeFor(int,
int)
|
private static Pattern.CharProperty |
Pattern.union(Pattern.CharProperty,
Pattern.CharProperty)
|
private static Pattern.CharProperty |
Pattern.intersection(Pattern.CharProperty,
Pattern.CharProperty)
|
private static Pattern.CharProperty |
Pattern.setDifference(Pattern.CharProperty,
Pattern.CharProperty)
|
| Methods in java.util.regex with parameters of type Pattern.CharProperty | |
private static Pattern.CharProperty |
Pattern.union(Pattern.CharProperty,
Pattern.CharProperty)
|
private static Pattern.CharProperty |
Pattern.intersection(Pattern.CharProperty,
Pattern.CharProperty)
|
private static Pattern.CharProperty |
Pattern.setDifference(Pattern.CharProperty,
Pattern.CharProperty)
|
|
JML | ||||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||||