SA0051 : Opérations de comparaison sur les variables BOOL

Détecte les opérations de comparaison sur les variables de type BOOL

Justification : CODESYS permet ce genre de comparaisons. Mais ils sont très inhabituels et peuvent prêter à confusion. La norme CEI 61131-3 ne prévoit pas ces comparaisons. En les évitant, vous augmentez la portabilité du code vers d'autres systèmes de développement.

Importance : Moyenne

PROGRAM PLC_PRG
VAR
    xBool1, xBool2 : BOOL;
    xResult : BOOL;
END_VAR

xResult := xBool1 > xBool2;    // SA0051
xBool1 := NOT xBool1;    // OK!
xBool2 := xBool2 XOR xBool1;    // OK!