Check for implicit type casting in Stateflow

Check ID: mathworks.jmaab.jc_0802

Guideline: jc_0802: Prohibited use of implicit type casting in Stateflow^®

Identifies implicit type casting in Stateflow.

This check requires Simulink^® Check™ and Stateflow licenses.

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:

Condition	Recommended Action
One or more operations and/or function calls in Stateflow charts have data type mismatch.	All operations and function calls must be made between variables of the same data type. If the data types are different, the variables need to be explicitly type cast to match data types.

This check will not analyze the enumeration types in Stateflow if the enumeration types are not specified with full class name. For instance, if the enum class is named Colors and one of the enum is Red, the correct usage is Colors.Red.
This check does not analyze the Fixed-Point Context-Sensitive Constants.
This check considers Simulink.IntEnumType as a separate data type.
Does not run on library models.
Allows exclusions of blocks or charts.
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 graphical.
Does not analyze C function calls and its return value.
In some cases, when the data type cannot be determined by the check, it is reported with an information status.