Erst einlesen, dann testen

In Oberon (und vielen anderen Programmiersprachen) wird zunächst ein Einlese-Versuch gestartet und dann wird getestet, ob dieser erfolgreich war.

Es ist nicht sinnvoll, diese Reihenfolge umzudrehen. da die Statusvariablen unterhalb von Streams.stdin den Erfolg oder Mißerfolg des letzten Einlese-Versuches widerspiegeln.

Es gibt einige Programmiersprachen (wie z.B. Pascal), die es erlauben, zuerst zu testen und dann zu lesen:
WHILE NOT EOF DO BEGIN
Leseoperation
Eingelesenen Wert verarbeiten
END
Dieses Schema sollte nicht nach Oberon übertragen werden! (Anders als in Oberon impliziert der EOF-Test in Pascal eine Lese-Operation, falls der Eingabe-Puffer momentan leer ist. In Oberon führen die Tests niemals implizit zu Ein- oder Ausgabe-Operationen).