Page History
...
advantage | disadvantage | ||
---|---|---|---|
Don't use signals |
|
| No |
Boolean variables as signals |
|
| No |
Yakindu events as signals |
Declaration: in signal I; |
| Yes |
New declaration type |
Declaration: in signal I; |
| no |
Local Reactions
...
Info | ||||
---|---|---|---|---|
| ||||
{ReactionTrigger} triggers+=LocalReactionType ('&&' (isImmediate?='#')? (delay=INT)? ((triggers+=RegularEventSpec) | ('[' guardExpression=Expression ']'))?)?; |
Examples:
- Entry && I / O=true;S
- During && I /O=false;S
- Exit && I1 / I1=true, I2=false;S
- Exit && [I1 S1 &&I2] / S2]
- Entry && # S
- Entry && # 3 S
LocalReaction Effect
Example:
- I / Suspend;
- / O=false;
- / I1=true, I2=false;Entry
- && # I / O / I1=true, I2=false;Entry &&
- # 3 I / O=true;
Transition
Question: use the commutativity of AND and OR? if(A!=null && A.val=1)?
Overview
Content Tools