Page History
...
A Transition is defined by a Reaction, consisting of a Trigger and an Effect.
Transition Trigger:
The A trigger:
- can be a Signal,
- a boolean Variable
...
- an Expression
...
- can be immediate (optional)
- delay (optional)
Info | ||||
---|---|---|---|---|
| ||||
{ReactionTrigger} (isImmediate?='#')? (delay=INT)? ((triggers+=RegularEventSpec) | ('[' guardExpression=Expression ']')); |
Examples:
- S
- [S1 && S2]
- #_S
- #_3 S
Transition Effect:
Info | ||||
---|---|---|---|---|
| ||||
{ReactionEffect} actions+=Expression (=> ',' actions+=Expression)*; |
...
Examples:
- / S
- / I = false
- / I1 = false, I2 = I3 + 10
Overview
Content Tools