Package | Description |
---|---|
jflex | |
jflex.unicode |
Modifier and Type | Method and Description |
---|---|
IntCharSet |
IntCharSet.add(IntCharSet set) |
IntCharSet |
IntCharSet.and(IntCharSet set) |
IntCharSet |
IntCharSet.copy()
Return a (deep) copy of this char set
|
IntCharSet |
IntCharSet.getCaseless(UnicodeProperties unicodeProperties)
Create a caseless version of this charset.
|
Modifier and Type | Method and Description |
---|---|
IntCharSet |
IntCharSet.add(IntCharSet set) |
IntCharSet |
IntCharSet.and(IntCharSet set) |
void |
CharClasses.makeClass(IntCharSet set,
boolean caseless)
Updates the current partition, so that the specified set of characters
gets a new character class.
|
void |
IntCharSet.sub(IntCharSet set) |
Modifier and Type | Method and Description |
---|---|
IntCharSet |
UnicodeProperties.getCaselessMatches(int c)
Returns a set of character intervals representing all characters
that are case-insensitively equivalent to the given character,
including the given character itself.
|
IntCharSet |
UnicodeProperties.getIntCharSet(String propertyValue)
Returns the character interval set associated with the given property value
for the selected Unicode version.
|
Copyright © 1998–2016. All rights reserved.