StateCharts Syntax
The general syntax of an expression labeling a transition in a StateChart is e[c]/a ,where
- e is the event that triggers the transition
- c is the condition that guards the transition (cannot be taken unless c is true when e occurs)
- a is the action that is carried out if and when the transition is taken
For each transition label, event condition and action are optional:
- an event can be the changing of a value
- standard comparisons are allowed as conditions and assignment statements as actions