Main Content

Check Stateflow charts for unary operators

Check ID: mathworks.hism.hisf_0211

Identify unary operators in Stateflow® charts.

Description

This check identifies the unary minus operators on unsigned data types in Stateflow charts.

Available with Simulink® Check™.

This check requires a Stateflow license.

Results and Recommended Actions

ConditionRecommended Action
The Stateflow chart consists of a unary minus operator on unsigned data types.Explicitly modify the unary operator on unsigned data types. For more information, see Unary Operations and Actions (Stateflow).

Capabilities and Limitations

  • Does not run on library models.

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

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

  • Except for Shift and Divide operations, this check does not flag expressions with bitwise and arithmetic operators.

See Also