Check default transition placement in Stateflow charts
Check ID:
mathworks.jmaab.jc_0531
Guideline: jc_0531: Default transition
Description
Checks the default transition placement in Stateflow® charts.
This check requires a Simulink® Check™ and Stateflow license.
Results and Recommended Actions
Guideline Sub-ID | Condition | Recommended Action |
---|---|---|
jc_0531_a: Check for default transitions at every level | One or more states or junctions in the model do not have any default transitions at their level. | Make sure that there is at least one default transition at every level. |
jc_0531_b: Check for parallel states having default transitions | One or more parallel states in the model have default transitions. | Default transitions must not be used for parallel states. |
jc_0531_c: Check for multiple default transitions at same level | One or more states in the model have multiple default transitions at the same level. | Make sure that multiple default transitions are not included in the same level. |
jc_0531_d: Check for default transitions not connected to top of state or junction | One or more default transitions in the model are not connected to the upper part of the state or junction. | Default transitions must be directly connected vertically to the upper part of the state or junction. |
jc_0531_e: Check for default transitions not positioned at top left within the same level | One or more destination states or junctions of default transitions in the model are not on the top left. | The destination states or junctions of default transitions must be positioned at the top left within the same level. |
jc_0531_f: Check for default transitions exceeding state boundaries | One or more default transitions in the model exceed state boundaries. | The default transition must not exceed state boundaries. |
jc_0531_g: Check for unconditional default transitions | One or more default transitions in the model do not have a single non-guard path to any state at the level in the chart. | Set No unconditional default transitions parameter to recommended value 'error'. |
Capabilities and Limitations
Runs on library models.
Allows exclusions of blocks and charts.
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
graphical
.
See Also
Syntax for States and Transitions (Stateflow)