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

Condition	Recommended 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

• hisf_0065: Type cast operations in Stateflow to improve code compliance