Stateflow | ![]() ![]() |
Flow Cyclic Behavior Not Detected Example
This Stateflow diagram shows an example of cyclic behavior in a flow diagram that is not detected by the Debugger.
The data object i
is set to 0 in the condition action of the default transition. i
is incremented in the next transition segment condition action. The transition to the third connective junction is valid only when the condition [i < 0]
is true. This condition will never be true in this flow diagram and there is a cycle.
This cycle is not detected by the Debugger because it does not involve event broadcast recursion. Detecting cycles that depend on data values is not currently supported.
![]() | Cyclic Behavior Example | Noncyclic Behavior Flagged as a Cyclic Example | ![]() |