Check return value assignments in Stateflow graphical functions
Guideline: jc_0511: Return values from a graphical function
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.
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
|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.
Reuse Logic Patterns by Defining Graphical Functions (Stateflow).