public class State extends Object
Modifier and Type | Field and Description |
---|---|
protected int |
id |
protected String |
label |
protected int |
nTransitions |
protected Transition[] |
transitions |
Constructor and Description |
---|
State() |
State(String label) |
State(String label,
int numberOfTransitions) |
Modifier and Type | Method and Description |
---|---|
void |
addTransition(Transition newTransition) |
void |
addTransitions(Transition... newTransitions) |
void |
enter() |
void |
exit() |
int |
getId() |
String |
getLabel() |
int |
getNumberOfTransitions() |
Transition |
getTransition(int idx) |
void |
printOn(PrintStream ps) |
protected void |
setId(int id) |
protected int id
protected String label
protected int nTransitions
protected Transition[] transitions
public State(String label, int numberOfTransitions)
public State(String label)
public State()
protected void setId(int id)
public int getId()
public String getLabel()
public int getNumberOfTransitions()
public Transition getTransition(int idx)
public void addTransition(Transition newTransition)
public void addTransitions(Transition... newTransitions)
public void enter()
public void exit()
public void printOn(PrintStream ps)