KRC ANTLR Validator
Das Plugin dient zur Massenprüfung (Syntaxprüfung) einer großen Anzahl von KRC-Dateien.

Jede Datei wird mit demselben KRL-Parser geprüft, den auch der Editor verwendet; das Ergebnis ist daher identisch mit der Prüfung einer einzelnen Datei im Editorfenster.
In einem Durchlauf werden drei Dinge geprüft:


Ist die Fold-Struktur einer Datei fehlerhaft, wird die KRL-Syntax dieser Datei überhaupt nicht geprüft - der Parser kann den Fold-Inhalt dann nicht zuverlässig aus dem Programmtext entfernen. Eine solche Datei wird ausdrücklich gemeldet, damit sie nicht mit einer fehlerfreien Datei verwechselt wird.

Geprüfte Dateien

Das Plugin kann prüfen:


Optionen


Bericht

Die Ergebnisse werden nicht in einem Meldungsfenster angezeigt - die Prüfung eines ganzen Roboterarchivs erzeugt weit mehr Zeilen, als ein Dialog darstellen kann.
Sie werden in einen HTML-Bericht geschrieben: Dateiname, Zeilennummer und Meldung für jeden Befund. Am Ende des Durchlaufs wird eine kurze Zusammenfassung angezeigt - wie viele Dateien geprüft wurden, wie viele Fehler und - sofern erfasst - wie viele Warnungen gefunden wurden; von dort aus kann der Bericht gespeichert werden.

Die Zeilennummern beziehen sich auf die tatsächliche Zeile in der Datei, auch bei Programmen mit Folds.

Die Syntaxprüfung wird vom Plugin selbst gestartet und hängt daher nicht von der Option Check programm syntax on file load im KRC-Konfigurationsfenster ab.

Alle Optionen werden gespeichert und beim nächsten Start des Plugins wiederhergestellt.