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)
|
|
|
|
|