JFlex
Class CharSet
java.lang.Object
JFlex.CharSet
- public final class CharSet
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
CharSet
public CharSet()
CharSet
public CharSet(int initialSize,
int character)
add
public void add(int character)
isElement
public boolean isElement(int character)
characters
public CharSetEnumerator characters()
containsElements
public boolean containsElements()
size
public int size()
toString
public java.lang.String toString()