Check return value assignments in Stateflow graphical functions

Check ID: mathworks.maab.jc_0511

Guideline: jc_0511: Return values from a graphical function

Description

Identifies graphical functions with multiple assignments of return values in Stateflow® charts.

The return value from a Stateflow graphical function must be set in only one place.

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 — No recommendations

  • JMAAB — a

Results and Recommended Actions

ConditionRecommended Action
The return value from a Stateflow graphical function is assigned in multiple places.Modify the specified graphical function so that its return value is set in one place.

Capabilities and Limitations

  • Runs on library models.

  • Does not analyze content of library linked blocks.

  • Allows exclusions of blocks and charts.

See Also