Check if state action type 'exit' is used in the model

Check ID: mathworks.jmaab.jc_0740

Guideline: jc_0740: Limitation on use of exit state action

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

Description

Checks if Stateflow^® exit actions are used in the model.

This check requires Simulink^® Check™ and Stateflow licenses.

Check Parameterization

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

Condition	Recommended Action
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 on.

• Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to graphical.