JFlex
Class CharSet

java.lang.Object
  JFlex.CharSet

public final class CharSet
extends java.lang.Object

Version:

JFlex 1.4.1, $Revision: 2.3 $, $Date: 2004/11/06 23:03:31 $

Author:

Gerwin Klein

Field Summary

(package private) long[]	bits
(package private) static int	BITS
(package private) static int	MOD

Constructor Summary

CharSet()

CharSet(int initialSize, int character)

Method Summary

void	add(int character)
CharSetEnumerator	characters()
boolean	containsElements()
boolean	isElement(int character)
int	size()
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Field Detail

BITS

static final int BITS

See Also:

Constant Field Values

MOD

static final int MOD

See Also:

Constant Field Values

bits

long[] bits

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

Overrides:

toString in class java.lang.Object