Package jflex

Class StateSet

java.lang.Object

jflex.StateSet

public final class StateSet
extends java.lang.Object

A set of NFA states (= integers).

Very similar to java.util.BitSet, but is faster and doesn't crash

Version:

JFlex 1.7.0

Field Summary

Fields

Modifier and Type	Field	Description
(package private) long[]	bits
(package private) static int	BITS
private boolean	DEBUG
static StateSet	EMPTY	Constant EMPTY
(package private) static int	MASK

Constructor Summary

Constructors

Constructor	Description
StateSet()	Constructor for StateSet.
StateSet(int size)	Constructor for StateSet.
StateSet(int size, int state)	Constructor for StateSet.
StateSet(StateSet set)	Constructor for StateSet.

Method Summary

Modifier and Type	Method	Description
void	add(StateSet set)	add.
void	addState(int state)	addState.
void	clear()	clear.
StateSet	complement(StateSet set)	Returns the set of elements that contained are in the specified set but are not contained in this set.
boolean	containsElements()	containsElements.
boolean	containsSet(StateSet set)	containsSet.
StateSet	copy()	copy.
void	copy(StateSet set)	Copy specified StateSet into this.
boolean	equals(java.lang.Object b)
int	getAndRemoveElement()	Returns one element of the set and removes it.
int	hashCode()	hashCode.
boolean	isElement(int state)	isElement.
void	remove(int state)	remove.
private void	resize(int size)
private int	size2nbits(int size)
StateSetEnumerator	states()	states.
java.lang.String	toString()	toString.

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

DEBUG

private final boolean DEBUG

See Also:

Constant Field Values

EMPTY

public static final StateSet EMPTY

Constant EMPTY

BITS

static final int BITS

See Also:

Constant Field Values

MASK

static final int MASK

See Also:

Constant Field Values

bits

long[] bits

Constructor Detail

StateSet

public StateSet()

Constructor for StateSet.

StateSet

public StateSet(int size)

Constructor for StateSet.

Parameters:

size - a int.

StateSet

public StateSet(int size,
                int state)

Constructor for StateSet.

Parameters:

size - a int.

state - a int.

StateSet

public StateSet(StateSet set)

Constructor for StateSet.

Parameters:

set - a StateSet object.

Method Detail

addState

public void addState(int state)

addState.

Parameters:

state - a int.

size2nbits

private int size2nbits(int size)

resize

private void resize(int size)

clear

public void clear()

clear.

isElement

public boolean isElement(int state)

isElement.

Parameters:

state - a int.

Returns:

a boolean.

getAndRemoveElement

public int getAndRemoveElement()

Returns one element of the set and removes it.

Precondition: the set is not empty.

Returns:

a int.

remove

public void remove(int state)

remove.

Parameters:

state - a int.

complement

public StateSet complement(StateSet set)

Returns the set of elements that contained are in the specified set but are not contained in this set.

Parameters:

set - a StateSet object.

Returns:

a StateSet object.

add

public void add(StateSet set)

add.

Parameters:

set - a StateSet object.

containsSet

public boolean containsSet(StateSet set)

containsSet.

Parameters:

set - a StateSet object.

Returns:

a boolean.

equals

public boolean equals(java.lang.Object b)

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

hashCode.

Overrides:

hashCode in class java.lang.Object

Returns:

a int.

states

public StateSetEnumerator states()

states.

Returns:

a StateSetEnumerator object.

containsElements

public boolean containsElements()

containsElements.

Returns:

a boolean.

copy

public StateSet copy()

copy.

Returns:

a StateSet object.

copy

public void copy(StateSet set)

Copy specified StateSet into this.

Parameters:

set - the state set to copy.

toString

public java.lang.String toString()

toString.

Overrides:

toString in class java.lang.Object

Returns:

a String object.