Rileva le posizioni del codice in cui il tipo di dati di una condizione non corrisponde
a quello del ramo CASE.
Giustificazione: Se i tipi di dati tra la variabile CASE e la variabile CASE non corrispondono, ciò potrebbe indicare un errore.
Importanza: Basso
Esempio
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