CHECK condition | selection .

Diese Anweisung prüft den logischen Ausdruck bzw. die Selektion. Ergibt der Ausdruck den Wert für wahr, dann wird mit der nächsten Anweisung fortgesetzt, falls nicht, hängt die weitere Reaktion von der Art des aktuellen Anweisungsblocks ab. In Schleifen wird zum Schleifenanfang gesprungen und damit der nächste Schleifendurchlauf begonnen. Innerhalb von Modularisierungseinheiten (Unterprogramme, Module, Funktionsbausteine oder Zeitpunktanweisungen) erfolgt der Aussprung aus der Modularisierungseinheit.
Selektionen werden gegen Tabellen-Kopfzeilen oder Feldleisten geprüft, die bei der Deklaration der Selektionstabelle angegeben wurden.