Check usage of unary minus operations in Stateflow charts

Check ID: mathworks.maab.jc_0451

Guideline: jc_0451: Use of unary minus on unsigned integers

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

Description

Identify unary minus operations applied to unsigned integers in Stateflow^® objects.

Do not perform unary minus operations on unsigned integers in Stateflow objects.

This check requires a Simulink^® Check™ and Stateflow license.

Check Parameterization

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 — a

• JMAAB — a

Results and Recommended Actions

Condition	Recommended Action
Unary minus operations are applied to unsigned integers in Stateflow objects.	Modify the specified objects to remove dependency on unary minus operations.

Capabilities and Limitations

• Does not run on library models.

• Does not analyze content of library linked blocks.

• Does not determine the data types if the expressions contain unary operators.

• Analyzes content in all masked subsystems.

• Allows exclusions of blocks and charts.

• Does not support Truth Table (Stateflow) blocks and Stateflow transition tables.