Main Content

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

ConditionRecommended 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