Rileva le operazioni sulle variabili del tipo di dati enumerativo Sono consentite le assegnazioni.
Giustificazione: Le enumerazioni non devono essere utilizzate come valori interi ordinari. È anche possibile definire un tipo di dati alias o utilizzare un tipo di sottocampo.
Importanza: Medio
Eccezione: Se un'enumerazione è contrassegnata dal pragma {attribute 'strict'}, il compilatore segnala già questo tipo di operazione.
Se un'enumerazione è dichiarata come flag dal pragma {attribute 'flags'}, non viene emesso un errore per le operazioni AND, OR, NOT, o XOR.
Esempio
TYPE My_Enum : ( red := 1, blue := 2, green := 3, black := 4 ); END_TYPE PROGRAM PLC_PRG VAR iTemp1 : INT; abc : My_Enum; END_VAR iTemp1 := iTemp1 + INT#1; abc := My_Enum.red; // OK iTemp1 := My_Enum.black / My_Enum.blue; // SA0058 iTemp1 := My_Enum.green / My_Enum.red; // SA0058 --> SA0058: Operations on enumeration variables
Esempio con pragma {attributo 'flags'}
{attribute 'flags'} // declaring the enumeration as a "flag"
TYPE Flags :
(
Unknown := 16#00000001,
Stopped := 16#00000002,
Running := 16#00000004
) DWORD;
END_TYPE
PROGRAM PLC_PRG
VAR
iTemp1 : INT;
abc : Flags;
batate : BYTE;
dwFlags : DWORD;
dwState : DWORD;
END_VAR
// OK for the following
IF (dwFlags AND Flags.Unknown) <> DWORD#0 THEN
dwState := dwState AND Flags.Unknown;
ELSIF (dwFlags OR Flags.Stopped) <>DWORD#0 THEN
dwState := dwState OR Flags.Running;
END_IF