Ermittelt Codepositionen, wo der Datentyp einer Bedingung nicht mit dem des CASE
-Zweigs übereinstimmt.
Begründung: Wenn die Datentypen zwischen der CASE
-Variable und dem CASE
-Fall nicht übereinstimmen, dann könnte das auf einen Fehler hindeuten.
Wichtigkeit: Niedrig
Beispiel
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: Datentypdiskrepanz bei CASE-Ausdruck