gov.nasa.jpf.util.automaton

Class State

java.lang.Object

gov.nasa.jpf.util.automaton.State

public class State
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
protected int	id
protected java.lang.String	label
protected int	nTransitions
protected Transition[]	transitions

Constructor Summary

Constructors

Constructor and Description
State()
State(java.lang.String label)
State(java.lang.String label, int numberOfTransitions)

Method Summary

Modifier and Type	Method and Description
void	addTransition(Transition newTransition)
void	addTransitions(Transition... newTransitions)
void	enter()
void	exit()
int	getId()
java.lang.String	getLabel()
int	getNumberOfTransitions()
Transition	getTransition(int idx)
void	printOn(java.io.PrintStream ps)
protected void	setId(int id)

Methods inherited from class java.lang.Object

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

Field Detail

id

protected int id

label

protected java.lang.String label

nTransitions

protected int nTransitions

transitions

protected Transition[] transitions

Constructor Detail

State

public State(java.lang.String label,
             int numberOfTransitions)

State

public State(java.lang.String label)

State

public State()

Method Detail

setId

protected void setId(int id)

getId

public int getId()

getLabel

public java.lang.String getLabel()

getNumberOfTransitions

public int getNumberOfTransitions()

getTransition

public Transition getTransition(int idx)

addTransition

public void addTransition(Transition newTransition)

addTransitions

public void addTransitions(Transition... newTransitions)

enter

public void enter()

exit

public void exit()

printOn

public void printOn(java.io.PrintStream ps)