Package dk.brics.automaton

Class State

java.lang.Object

dk.brics.automaton.State

All Implemented Interfaces:

Serializable, Comparable<State>

public class State
extends Object
implements Serializable, Comparable<State>

Automaton state.

Author:

Anders Møller <amoeller@cs.au.dk>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
State()	Constructs a new state.

Method Summary

Modifier and Type	Method	Description
void	addTransition(Transition t)	Adds an outgoing transition.
int	compareTo(State s)	Compares this object with the specified object for order.
boolean	equals(Object obj)	See Object.equals(java.lang.Object).
List<Transition>	getSortedTransitions(boolean to_first)	Returns sorted list of outgoing transitions.
Set<Transition>	getTransitions()	Returns the set of outgoing transitions.
int	hashCode()	See Object.hashCode().
boolean	isAccept()	Returns acceptance status.
void	setAccept(boolean accept)	Sets acceptance for this state.
State	step(char c)	Performs lookup in transitions, assuming determinism.
void	step(char c, Collection<State> dest)	Performs lookup in transitions, allowing nondeterminism.
String	toString()	Returns string describing this state.

Methods inherited from class java.lang.Object

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

Constructor Detail

State

public State()

Constructs a new state. Initially, the new state is a reject state.

Method Detail

getTransitions

public Set<Transition> getTransitions()

Returns the set of outgoing transitions. Subsequent changes are reflected in the automaton.

Returns:

transition set

addTransition

public void addTransition(Transition t)

Adds an outgoing transition.

Parameters:

t - transition

setAccept

public void setAccept(boolean accept)

Sets acceptance for this state.

Parameters:

accept - if true, this state is an accept state

isAccept

public boolean isAccept()

Returns acceptance status.

Returns:

true is this is an accept state

step

public State step(char c)

Performs lookup in transitions, assuming determinism.

Parameters:

c - character to look up

Returns:

destination state, null if no matching outgoing transition

See Also:

step(char, Collection)

step

public void step(char c,
                 Collection<State> dest)

Performs lookup in transitions, allowing nondeterminism.

Parameters:

c - character to look up

dest - collection where destination states are stored

See Also:

step(char)

getSortedTransitions

public List<Transition> getSortedTransitions(boolean to_first)

Returns sorted list of outgoing transitions.

Parameters:

to_first - if true, order by (to, min, reverse max); otherwise (min, reverse max, to)

Returns:

transition list

toString

public String toString()

Returns string describing this state. Normally invoked via Automaton.toString().

Overrides:

toString in class Object

compareTo

public int compareTo(State s)

Compares this object with the specified object for order. States are ordered by the time of construction.

Specified by:

compareTo in interface Comparable<State>

equals

public boolean equals(Object obj)

See Object.equals(java.lang.Object).

Overrides:

equals in class Object

hashCode

public int hashCode()

See Object.hashCode().

Overrides:

hashCode in class Object