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;
Entry
is an Effect.
...
- S
- Exit && [S1 &&S2]
- Entry && # S
- Entry && # 3 S
LocalReaction Effect
Info | ||||
---|---|---|---|---|
| ||||
{ |
...
Inside
is an Effect.
InsideAction returns sgraph::Effect:
{InsideAction} 'Inside' '/' effect=ReactionEffect ';';
Exit
is an Effect
ExitAction returns sgraph::Effect:
{ExitAction} 'Exit' '/' effect=ReactionEffect ';';
Suspend
is a Trigger.
Suspend returns sgraph::Trigger:
{Suspend} 'Suspend' trigger=ReactionTrigger ';';
Transition
...
ReactionEffect} actions+=Expression (=> ',' actions+=Expression)*; |
Example:
- I / Suspend;
- / O=false;
- / I1=true, I2=false;
- / I1=true, I2=false;
- / O=true;
Transition
A Transition is defined by a Reaction, consisting of a Trigger and an Effect.
Transition Trigger
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