EndOfFile()

Syntax:

EndOfFile ([String filename]) : Bool
filename: Name der Datei

Beispiel:

WHILE (NOT EndOfFile( "daten.txt" ))

Beschreibung:

Gibt an, ob in der Datei filename noch Zeilen folgen. Dieses Flag wird nach dem Lesen der letzten Zeile auf TRUE gesetzt. Wird der Parameter filename weggelassen, so wird die Standardeingabe abgefragt (Ctrl-D über die Tastatur oder Ende der Pipe). Siehe auch ReadLine(), Rewind() und FileForward().