Static Public Member Functions | |
| boolean | isToplevelState (State thisState) |
| Transition | getCompletionTransition (State thisState) throws DesignError |
Static Package Functions | |
| void | checkCompletionTransition (State thisState) throws DesignError |
With multiple inheritance, these classes would extend their non-abstract framework state classes as well as the framework state superclass State; this can't be, so we fake the latter using delegation.
|
|
Asserts that no state can have more than one completion transition. This must be so at least until Guards are supported. todo: check uniqueness of transitions in general (no 2 trans. per event)
|
|
|
|
|
|
|
1.3.8