| Modifier and Type | Field and Description |
|---|---|
| private Action | |
| private Guard | |
| private State | |
| private static Guard |
| Access | Constructor and Description |
|---|---|
| pack-priv | |
| pack-priv |
| Modifier and Type | Method and Description |
|---|---|
| public Action | |
| public Guard | |
| public State | |
| public String |
| action | back to summary |
|---|---|
| private Action action | |
| guard | back to summary |
|---|---|
| private Guard guard | |
| nextState | back to summary |
|---|---|
| private State nextState | |
| trueGuard | back to summary |
|---|---|
| private static Guard trueGuard | |
| Transition | back to summary |
|---|---|
| pack-priv Transition(Action action, State nextState) | |
| Transition | back to summary |
|---|---|
| pack-priv Transition(Guard guard, Action action, State nextState) | |
| getAction | back to summary |
|---|---|
| public Action getAction() | |
| getGuard | back to summary |
|---|---|
| public Guard getGuard() | |
| getNextState | back to summary |
|---|---|
| public State getNextState() | |
| toString | back to summary |
|---|---|
| public String toString() Overrides java. Doc from java. Returns a string representation of the object.
Satisfying this method's contract implies a non-
| |