JFlex
public final class CharSet extends Object
Constructor Summary | |
---|---|
CharSet() | |
CharSet(int initialSize, int character) |
Method Summary | |
---|---|
void | add(int character) |
CharSetEnumerator | characters() |
boolean | containsElements() |
boolean | isElement(int character) |
int | size() |
String | toString() |