Download Stateflow User's Guide

7
Semantics
transition destination has not been reached, this self loop continues until
[C_one()] is false. Assume that after five loops [C_one()] is false.
5 The next possible transition segment (to the next connective junction) is
evaluated. It is an unconditional transition segment with a condition action.
The transition segment is taken and the condition action, {d=my_func()}, is
executed and completed. The returned value of d is 84.
6 The next possible transition segment is evaluated. There are three possible
outgoing transition segments to consider. Two are conditional; one is unconditional. The segment labeled with the condition [d<100] is evaluated first
based on the geometry of the two outgoing conditional transition segments.
Since the return value of d is 84, the condition [d<100] is true and this transition (to the destination state A.A1) is valid.
7 State A.A1 exit actions execute and complete (exitA1()).
8 State A.A1 is marked inactive.
9 State A.A1 is marked active.
10 State A.A1 entry actions execute and complete (entA1()).
11 The Stateflow diagram goes back to sleep waiting to be awakened by another
event.
This sequence completes the execution of this Stateflow diagram associated
with event E_one.
7-38