public class CharCase extends Node
CharSwitch| Modifier and Type | Field and Description |
|---|---|
Element |
element
The optional element.
|
CharClass |
klass
The characters as a character class.
|
| Constructor and Description |
|---|
CharCase(CharClass klass)
Create a new character case.
|
CharCase(CharClass klass,
Element element)
Create a new character case.
|
CharCase(char c,
Element element)
Create a new character case.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
add, add, addAll, addAll, addAll, addAll, addAllTo, addNode, contains, get, getBoolean, getBooleanProperty, getGeneric, getList, getLocation, getName, getNode, getProperty, getString, getStringProperty, getTokenText, hasLocation, hasName, hasProperty, hasTraversal, hasVariable, indexOf, isAnnotation, isEmpty, isGeneric, isList, isToken, iterator, lastIndexOf, properties, remove, removeProperty, set, setLocation, setLocation, setProperty, size, strip, toAnnotation, toList, toString, toToken, writepublic CharClass klass
normalized.public Element element
null element indicates that
this character case's characters do not provide a match.Copyright © 2014. All Rights Reserved.