Vollständigkeit

Grammatiktests > Vollständigkeit

Jedes Nonterminal ist durch genau eine Regel definiert und es darf kein Nonterminal geben, das nicht definiert wurde.

Der erste Teil dieser Bedingung ist in TETRA automatisch gewährleistet, da es in der Verwaltung nicht möglich ist zwei Produktionen mit dem gleichen Namen einzufügen.

Der zweite Teil hingegen muss von TETRA gesondert geprüft werden. Es kann vorkommen, dass bei der Definition einer Regel ein nicht existierender Symbolname verwendet wird. Das Syntaxhighlighting hilft bereits einen derartigen Fehler zu vermeiden: dieser Name wird nicht in Fettschrift dargestellt. Die Verwendung des nicht definierten Namens wird von TETRA bereits während des Parsens bemerkt und mit einer Fehlermeldung quittiert:

Unbekanntes Symbol: "xxx".

.

Diese Seite gehört zur TextTransformer Dokumentation