Check assignment operations in Stateflow Charts
Identify assignment operations in Stateflow® objects.
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
|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
Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to
External functions written in C and embedded in Stateflow will not work with this check.