JFlex

Class CharSet


public final class CharSet
extends java.lang.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 Details

CharSet

public CharSet()

CharSet

public CharSet(int initialSize,
               int character)

Method Details

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