Die Aktion wird solange wiederholt, wie die Bedingung erfüllt ist.
Die Bedingung wird vor der Aktion geprüft, d.h. die Aktion wird
möglicherweise nie ausgeführt.
Pseudocode
WHILE bedingung DO
anweisungsfolge
END WHILE
Die Abweisschleife ist ein Spezialfall des verallgemeinerten Zyklus:
LOOP
WHEN NOT bedingung THEN EXIT
anweisungsfolge
END LOOP
Pascal
WHILE bedingung DO
anweisung;
WHILE bedingung DO
BEGIN anweisungsfolge END; { Verbundanweisung }
Beispiel:
WHILE konto > minimum DO
bestellen;
Fehlerquelle:
Eine wiederholt auszuführende Anweisungsfolge wird nicht als
Verbundanweisung notiert.
Beispiel:
WHILE durst DO
bier_bestellen;
bier_trinken;
Der Aufruf bier_trinken liegt nicht im Zyklus !