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