Detecta ubicaciones de código en las que el tipo de datos de una condición no coincide
con el de la rama CASE
Justificación: Si los tipos de datos entre la variable CASE y la propia CASE no coinciden, esto podría indicar un error.
Importancia: Bajo
Ejemplo
TYPE My_Enum : ( eins := 1, zwei := 2, drei := 3, vier := 4 ); END_TYPE PROGRAM PLC_PRG VAR diVar : DINT; xTemp : BOOL; END_VAR diVar := diVar + DINT#1; CASE diVar OF DINT#1: xTemp := FALSE; My_Enum.zwei, DINT#3: //SA0077 xTemp := TRUE; ELSE xTemp := NOT xTemp; END_CASE --> SA0077: Type mismatches with CASE expression