| KIELER | YAKINDU | |
---|
Declarations | Pure Signals: signals have a present status: - absent or present
- must be set for input signals
- computed for local and output signals:
- for each tick absent by default unless signal is emitted
- Example:
- Emit signal S: S
- Test for presence: S
Valued Signals: - are pure signals than additionally are able to store a value
- values are persistent across ticks
- Example:
- Emit signal V with value 3: V(3)
- Test for presence: V
- Get the last emitted value of V: ?V
Variables: - Are not shared between concurrent regions
- Currently implemented by host type variables
| Events: Variables: | |
Types | - int
- bool
- string
- pure: only makes sense for Signals. Signals are absent or present.
- unsigned
- float
- double
- host: no actual type is given. The given type in the hostType attribute is used.
| | |
Expressions | | | |
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:
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
| |
Effects | | - raise myvar
- myvar = valueof(event): Returns the value of an valued event that it passed to the function as parameter.
- mybool = active(StateA): Returns „true” if a state is active or „false” otherwise.
| |