EOF

Skripte > Produktionen > EOF

EOF steht für "end of file", Dateiende. (Genauer müsste es heißen: Ende des Eingabestrings.) Dieses spezielle Token wird im Normalfall automatisch erzeugt: Es gehört stets zur Nachfolgermenge der Startregel und zu den Nachfolgermengen der dem Ende der Startregel vorausgehenden löschbaren Strukturen. Ist die Startregel selbst löschbar, so gehört EOF auch zur Anfängermenge dieser Regel.

Es ist auch möglich explizit EOF innerhalb einer Produktion zu verwenden. Hinter dem Dateiende EOF kann kein Token mehr folgen. Bis zum Ende des Programms dürfen daher entweder nur löschbare Strukturen oder EOF-Alternativen folgen, oder das Programm sollte mit EXIT abgebrochen werden.

Beispiel.:

"a"

("b" | EOF EXIT)

"c"

Hinweis: Mittels des EOF-Symbols sind die verkürzten Ausgabe- und Zuweisungs-Anweisungen (z.B.: {{out << }} ) für Rückgabewerte nachfolgender Regeln in den Interpreter integriert worden. 

Diese Seite gehört zur TextTransformer Dokumentation