Stateflow

How the Notation Checked Is Checked

The parser evaluates the graphical and nongraphical objects in each Stateflow machine against the supported Stateflow notation and the action language syntax. Errors are displayed in informational pop-up windows. See Parsing for more information.

Some aspects of the notation are verified at runtime. Using the Debugger you can detect runtime errors such as:

• State inconsistencies
• Conflicting transitions
• Data range violations
• Cyclic behavior

You can modify the notation to resolve runtime errors. See Chapter 10, Debugging, for more information on debugging runtime errors.

Motivation Behind the Notation

Graphical Objects