SA0051: Operaciones de comparación sobre variables BOOL

Detecta operaciones de comparación sobre variables de tipo BOOL

Justificación: CODESYS permite este tipo de comparaciones. Pero son muy inusuales y pueden resultar confusos. La norma IEC 61131-3 no prevé estas comparaciones. Al evitarlos, aumenta la portabilidad del código a otros sistemas de desarrollo.

Importancia: Media

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

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