Check if state action type 'exit' is used in the model
Guideline: jc_0740: Limitation on use of exit state action
Checks if Stateflow® exit actions are used in the model.
This check requires Simulink® Check™ and Stateflow licenses.
This check does not include sub-checks because the MAB modeling guideline provides only one sub ID.
For reference, the MAB guideline sub ID(s) that are recommended for use by the NA-MAAB and JMAAB modeling standards organizations are:
NA-MAAB — No recommendations
JMAAB — a
Results and Recommended Actions
|One or more Stateflow states use exit action type.||Consider removing state action type exit in Stateflow states.|
Capabilities and Limitations
Runs on library models.
Supports exclusions of charts.
Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to