Main Content

Check assignment operations in Stateflow Charts

Check ID: mathworks.hism.hisf_0065

Identify assignment operations in Stateflow® objects.

Description

This check identifies the assignment operations in Stateflow objects that implicitly cast integer and fixed-point arithmetic calculations to wider data types than the input data types.

This check identifies only the assignments with arithmetic operations.

Available with Simulink® Check™.

This check requires a Stateflow license.

Results and Recommended Actions

ConditionRecommended Action
The Stateflow object consists of assignment operations that cast integer and fixed-point calculations to wider data types than the input data types.Explicitly replace assignment operator (=) to := operator in Stateflow objects.

Capabilities and Limitations

  • Does not run on library models.

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

  • Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to on.

  • External functions written in C and embedded in Stateflow will not work with this check.

See Also