Check usage of the Saturation blocks

Check ID: mathworks.jmaab.jc_0628

Guideline: jc_0628: Usage of Saturation blocks

This check identifies:

The Saturation or Saturation Dynamic blocks with any type casting operations. The check compares that the compiled input and output data types match or checks that Output data type is set to Inherit: Same as input and Inherit: Same as second input for Saturation and Saturation Dynamic blocks respectively.
If the upper limit is not set to less the maximum value of the output data type (intmax, realmax) and the lower limit is not set to greater than the minimum value of the output data type (intmin, -realmax).

This check requires a Simulink^® Check™ license.

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
The input and output data types are different.	Set the Output data type to Inherit: Same as input and Inherit: Same as second input for the Saturation and Saturation Dynamic blocks, respectively.
The upper limit and lower limit values of the blocks are not set to adhered values.	Do any of the following: Set the upper limit of the output data type to less than the maximum value. Set the lower limit of the output data type to greater than the minimum value.

Runs on library models.
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to graphical.
Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to on.
Allows exclusions of blocks and charts.