Check usage of State names

Check ID: mathworks.jmaab.jc_0731

Guideline: jc_0731: State name format

Description

Checks if slashes (/) are included in state names. After the state name is defined, add a new line for describing any executable statements. A slash (/) is required only when describing executable statements in continuation after state names.

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 — a
JMAAB — a

Results and Recommended Actions

Condition	Recommended Action
Slash is in the state name.	Remove the slash from the state name and make sure to start a new line for any executable statements.

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 graphical.
Allows exclusions of charts.