| KIELER | YAKINDU | |
---|
Declarations | Pure Signals: signals are absent or present - input signals must be set
- output signals are computed
Valued Signals: are pure signals and are able to store a value | Events: Variables: | |
Typesystem | - pure: only makes sense for Signals. Signals are absent or present.
- host: no actual type is given. The given type in the hostType attribute is used.
- bool
- unsigned
- int
- float
- double
- string
| - integer
- real
- boolean
- string
- void
| |
Expressions | | - Logical AND: var1 && var2
- Logical OR: var1 || var2
- Logical NOT: !var1
- Conditional Expression: var1 ? var2 : var3
| |
Operations | - Equal: '='
- Less Than: '<'
- Equal Or Less Than: '<='
- Greater Than: '>'
- Equal Or Greater Than: '>='
- NOT: '!='
- Value: '?'
?B = 3 - PRE: 'pre'
pre(B) - NE: '<>'
- AND: 'and'
- OR: 'or'
- Add: '+'
- Minus : '-'
- Multiply: '*'
- Divide: '/'
- Modulo: 'mod'
| - Equal: '=='
- less than: '<'
- Equal Or Less Than: '<='
- Greater Than: '>'
- Equal Or Greater Than '>='
- Not Equal: '!='
- Shift Left: '<<'
- Shift Right: '>>'
- Plus: '+'
- Minus: '-'
- Multiply: '*'
- Divide: '/'
- Modulo: '%'
- Positive: '+'
- Negative: '-'
- Complement: '~'
| |
Trigger | | - event:
I / raise O
- after:
after 20 s
- every
every 200 ms
- always:
enables a reaction to be executed in every run to completion step - default, else: default:
enables a reaction to be executed in every run to completion step - else:
used in transitions and implies the lowest evaluation priority for that transition. - entry
- exit
- oncycle
| |