JFlex

Class CharSet

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()

Constructor Detail

CharSet

public CharSet()

CharSet

public CharSet(int initialSize, int character)

Method Detail

add

public void add(int character)

characters

public CharSetEnumerator characters()

containsElements

public boolean containsElements()

isElement

public boolean isElement(int character)

size

public int size()

toString

public String toString()