Check Stateflow charts for ordering of states and transitions
Check ID:
mathworks.hism.hisf_0002
Identify Stateflow® charts that have User-specified state/transition execution order cleared.
Description
Identify Stateflow charts that have User-specified state/transition execution order cleared, and therefore do not use explicit ordering of parallel states and transitions.
Available with Simulink® Check™.
This check requires a Stateflow license.
Results and Recommended Actions
Condition | Recommended Action |
---|---|
Stateflow charts have User-specified state/transition execution order cleared. | For the specified charts, in the Chart Properties dialog box, select User-specified state/transition execution order. |
Capabilities and Limitations
Runs on library models.
Analyzes content of library linked blocks. By default, the input parameter Follow links is set to
on
.Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to
all
.Allows exclusions of blocks and charts.
Action Results
Clicking Modify selects User-specified state/transition execution order for the specified charts.
See Also