JavaScript-Validator
Nennt die Zeile, nicht nur den Fehler

Was ein JavaScript-Validator prüft

Eine Engine liest ein ganzes Skript, bevor sie eine einzige Zeile davon ausführt. Daher hält eine kaputte Klammer irgendwo die ganze Datei an, und der Tab bleibt leer.

Genau für diesen Fehler gibt es diesen JavaScript-Validator. Er geht das Skript als Text durch und nennt die erste Stelle, an der die Grammatik bricht, mit Zeile und Spalte.

Außerdem prüft er die Form des Gelesenen. Eine Klammer ohne Partner, eine Zeichenkette, die nie schließt, ein Schlüsselwort als Name, ein verlorenes Komma in der Argumentliste eines Aufrufs.

Er baut keinen Ausführungskontext, deshalb erzeugt er keine globale Variable und ruft keine Funktion auf. Weil der Leser das Skript nur liest, können Sie einen Validator auf Code richten, den Sie auf einer eigenen Seite nie laufen ließen.

Nichts verlässt diesen Tab. Daher wird ein Kundenskript unter Verschwiegenheitsvereinbarung genau wie ein öffentliches gelesen.

Wie ein JavaScript-Validator ein Skript liest

Der erste Durchgang macht aus dem Text Token. Eine Zahl, eine Zeichenkette, ein Template, ein regulärer Ausdruck, ein Name, ein Operator und ein Schlüsselwort sind verschiedene Dinge, und der Leser entscheidet Zeichen für Zeichen, was er vor sich hat.

Dann durchläuft der zweite Durchgang diese Token der Reihe nach und prüft die Form dessen, was er liest: welche Klammern noch offen sind, welche Namen ein Gültigkeitsbereich bereits hält und ob ein Wort wie return eine Funktion um sich hat. Das Regelwerk ist hier ECMA-262, der Standard hinter jeder Engine.

Die Reihenfolge zählt, und sie erklärt überraschend viele Fehlermeldungen. Weil das Zerlegen zuerst läuft, hat ein Skript, das nach einem Klammerproblem aussieht, in Wahrheit oft ein Anführungszeichen, das nie schloss.

Ein Fall verlangt einen zweiten Blick statt einer Regel: Ein Schrägstrich ist ein Divisionsoperator oder der Anfang eines regulären Ausdrucks, und die Antwort hängt vom Token davor ab. Deshalb fragt der Zerleger das letzte Token, was es war.

Templates bringen eine weitere Falte. Weil ein Template einen Ausdruck in Klammern halten kann, führt der Zerleger einen Stapel über das Template, in dem er steckt. Dabei ist eine Klammer in einer Zeichenkette Text, und eine Klammer in einem Template ist Code.

Warum ein gültiges Skript trotzdem falsch sein kann

Grammatik und Bedeutung sind getrennte Schichten. Ein Validator beantwortet die Frage der Grammatik, und jeder brauchbare hört dort auf.

Deshalb kommt ein Skript mit einer Variablen durch, die im strikten Modus nie deklariert wird, mit einer Eigenschaft, die aus einem Wert gelesen wird, das gerade undefined hält, oder mit einem await in einer Funktion, die nicht asynchron ist. Jedes davon ist ein Laufzeitproblem.

Die Grenze dazwischen lohnt sich zu merken. Ein Syntaxfehler heißt, dass kein Teil der Datei lief, und ein Laufzeitfehler heißt, dass die Datei bis zu dieser Zeile lief. Daher verlangen die beiden eine völlig andere Fehlersuche.

Darum nennt diese Seite auch den ersten Fehler statt hundert. Weil die Analyse dort stehen bleibt, ist alles danach geraten, und eine Liste von Vermutungen wiegt weniger als eine Tatsache.

Die sechs Prüfungen und was jede bedeutet

Die erste Prüfung ist die Klammerbalance. Der Leser meldet eine geschweifte, eine eckige oder eine runde Klammer ohne Partner an der Stelle, an der er aufgab. Nämlich dieser eine Fehler kann die ganze Datei kosten.

Die zweite ist eine nicht geschlossene Zeichenkette oder ein offenes Template. Weil der Zerleger alles nach einem öffnenden Anführungszeichen verschluckt, nennt der Hinweis sowohl das Zeichen als auch das Dateiende, an dem die Suche aufhörte.

Die dritte ist ein Token, das die Grammatik nicht erlaubt. Zwei Operatoren hintereinander, ein Komma an falscher Stelle oder ein Pfeil ohne etwas davor. Dabei kommt jedes mit dem Token selbst.

Die vierte ist ein Schlüsselwort, das als Name missbraucht wird. Deshalb lehnt der Leser eine Zuweisung an ein reserviertes Wort ab, und eine damit benannte Variable, bevor überhaupt etwas läuft.

Die fünfte ist eine Doppelung in einem Geltungsbereich. Zwei Parameter mit demselben Namen, oder ein let, das einen im gleichen Block bereits deklarierten Namen wiederholt. Weil im ersten Fall der zweite gewinnt und im zweiten eine Ausnahme fliegt, nennt der Leser beide.

Die sechste ist ein return außerhalb einer Funktion, und seine Verwandten. Ein break ohne Schleife, ein case ohne switch und ein yield ohne Generator. Also gehören diese an eine Position und an keine andere.

Was diese Seite nicht tut

Sie führt Ihr Skript nicht aus. Nichts hier erzeugt eine Funktion, setzt eine Variable oder startet einen Timer, also kann nichts auf der Seite handeln, während Sie lesen.

Sie meldet keinen Laufzeitfehler, keinen Typfehler und keinen fehlgeschlagenen Netzwerkaufruf. Weil die eine Engine brauchen, und eine Engine haben Sie im Tab daneben schon.

Sie korrigiert den Code nicht. Eine Vermutung über die fehlende Klammer ist ein Hinweis und keine Änderung, denn eine automatische Korrektur kann aus einem klaren Fehler eine stille Verhaltensänderung machen.

Sie prüft keine Typen. Eine Datei mit einer Typangabe trägt mehr als JavaScript, also fügen Sie die Ausgabe Ihres Compilers ein und nicht seine Eingabe.