public class Transition extends Object
Modifier and Type | Field and Description |
---|---|
protected State |
fromState |
protected int |
id |
protected String |
label |
protected State |
toState |
Constructor and Description |
---|
Transition(String label,
State toState) |
Modifier and Type | Method and Description |
---|---|
boolean |
checkGuard() |
void |
fire() |
int |
getId() |
String |
getLabel() |
void |
printOn(PrintStream ps) |
protected void |
setFromState(State fromState) |
protected void |
setId(int id) |
protected int id
protected String label
protected State fromState
protected State toState
protected void setFromState(State fromState)
protected void setId(int id)
public int getId()
public String getLabel()
public boolean checkGuard()
public void fire()
public void printOn(PrintStream ps)