jc_0655: Prohibition of logical value comparison in Stateflow
Sub ID Recommendations
NA-MAAB — No recommendations
JMAAB — a
Sub ID a
Logical constants shall not be compared to each other.
Logical constants are not compared to each other.
Logical constants are compared to each other.
Sub ID a:
Readability improves with consistent use of
boolean-valued signal==true(boolean type constant)or
(boolean-valued signal)for logical signal condition expressions.
Prevents redundancy in the model.
Deviation from the rule can cause unexpected issues.
Model Advisor check: Check prohibited comparison operation of logical type signals (Simulink Check)
JMAAB guideline jc_0655, which is available in Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow on the MathWorks® website.