Main Content

Check entry formatting in State blocks in Stateflow charts

Check ID: mathworks.jmaab.jc_0501

Guideline: jc_0501: Format of entries in a State block

Description

Note

Prerequisite: Run syntax checking before running this check.

Identify missing line breaks between entry action (en), during action (du), and exit action (ex) entries in states. Identify missing line breaks after semicolons (;) in statements.

Start a new line after the entry, during, and exit entries, and after the completion of a statement “;”.

This check requires a Simulink® Check™ and Stateflow® license.

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

ConditionRecommended Action
An entry (en) is not on a new line.Add a new line after the entry.
A during (du) is not on a new line. Add a new line after the during.
An exit (ex) is not on a new line.Add a new line after the exit.
Multiple statements found on one line.Add a new line after each statement.

Capabilities and Limitations

  • Runs on library models.

  • Does not analyze content of library linked blocks. By default, the input parameter Follow links is set to on.

  • Analyzes content in all masked subsystems.

  • Allows exclusions of blocks and charts.

Edit-Time Checking

This check is supported by edit-time checking.