jflex

Class CharSet

java.lang.Object

jflex.CharSet

public final class CharSet
extends Object

Version:

JFlex 1.7.0-SNAPSHOT

Author:

Gerwin Klein

Constructor Summary

Constructors

Constructor and Description
CharSet()
CharSet(int initialSize, int character)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(int character)
CharSetEnumerator	characters()
boolean	containsElements()
boolean	isElement(int character)
int	size()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

CharSet

public CharSet()

CharSet

public CharSet(int initialSize,
       int character)

Method Detail

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

Overrides:

toString in class Object