| Package | Description |
|---|---|
| jflex | |
| jflex.unicode |
| Modifier and Type | Method and Description |
|---|---|
private static void |
Main.printUnicodePropertyValuesAndAliases(java.lang.String unicodeVersion)
Prints one Unicode property value per line, along with its aliases, if any, for
the given unicodeVersion.
|
| Modifier and Type | Method and Description |
|---|---|
private void |
UnicodeProperties.init(java.lang.String version)
Based on the given version, selects and binds the corresponding Unicode
data to facilitate mappings from property values to character intervals.
|
| Constructor and Description |
|---|
UnicodeProperties()
Unpacks the Unicode data corresponding to the default Unicode version:
""7.0"".
|
UnicodeProperties(java.lang.String version)
Unpacks the Unicode data corresponding to the given version.
|