Codage des conditions
Syntaxe
La condition se saisie à la place du " ?" présent sur la transition
Il existe 2 types de conditions :
- L’événementielle : active sur un changement d'état,
Syntaxe de saisie : simplement son nom
- La garde : active sur une valeur.
Syntaxe de saisie : [Nom de la variable == valeur ou expression logique]
Codage des tests logiques
Test logique de transition | Syntaxe stateflow |
|---|---|
a et b = 1 ? | [a && b] |
a ou b = 1 ? | [a || b] |
il n'y a pas la variable a | [!a] ou [~a] |
a égal b ? | [a == b] |
Codage des tests temporels
Test logique de transition | Syntaxe stateflow |
|---|---|
La transition est franchie après 3 secondes | [after(3,sec)] |
La transition est franchie après 10 secondes si la variable b est à 1 | [b && after(10,sec)] |