@untangle-code/parser-registry 0.0.0-stage → 0.1.1

package/dist/languages/shared/signature.js

@@ -0,0 +1,147 @@
+/**
+ * Signature text normalization for the JS/TS grammar family.
+ *
+ * Normative requirement (WP-06 task, spec.md §5.5): `normalizedSignature`
+ * feeds `buildSymbolId`, so it MUST be stable across:
+ *
+ * 1. Whitespace — any run of spaces/tabs/newlines collapses to a single
+ *    space; spacing around `,`, `:`, `(`, `)`, `<`, `>`, `?:` is
+ *    canonicalized rather than preserved verbatim.
+ * 2. Default values — `= <expr>` parameter/type-parameter initializers are
+ *    STRIPPED. Rationale: giving a parameter a default value is (mostly) a
+ *    call-site convenience, not a new overload; keeping it in the identity
+ *    signature would needlessly change a symbol's id on a body-only-feeling
+ *    edit. The optional marker (see next point) already captures "callers
+ *    may omit this argument".
+ * 3. Optional markers — TypeScript's trailing `?` on a parameter name is
+ *    KEPT and canonicalized to sit directly against the following `:`
+ *    (`a ?:string` and `a?: string` both become `a?: string`) because it
+ *    changes the call contract independent of any default value.
+ * 4. Type annotations — kept verbatim (modulo the same whitespace rules)
+ *    because they are part of the observable contract.
+ *
+ * Known limitation (documented, not a defect): default-value stripping and
+ * top-level-comma splitting use a bracket-DEPTH scanner, not a full
+ * expression parser. A `<` used as a less-than operator inside a default
+ * expression (e.g. `(a = b < c ? 1 : 2)`) is misread as a generic open
+ * bracket and can throw off depth tracking for the rest of that one
+ * parameter. This is vanishingly rare in default-value position and is
+ * accepted as a WP-06 scoping decision (see README "Entscheidungen").
+ */
+const OPEN_BRACKETS = new Set(["(", "[", "{", "<"]);
+const CLOSE_BRACKETS = new Set([")", "]", "}", ">"]);
+/** Collapses whitespace and canonicalizes spacing around common punctuation. */
+export function normalizeSpacing(text) {
+    return text
+        .replace(/\s+/g, " ")
+        .replace(/\s*\?\s*:/g, "?:")
+        .replace(/\s*:\s*/g, ": ")
+        .replace(/\s*,\s*/g, ", ")
+        .replace(/\(\s+/g, "(")
+        .replace(/\s+\)/g, ")")
+        .replace(/<\s+/g, "<")
+        .replace(/\s+>/g, ">")
+        .replace(/\.\.\.\s+/g, "...")
+        .replace(/\s{2,}/g, " ")
+        .trim();
+}
+/**
+ * Splits `content` on top-level occurrences of `separator` (depth 0 with
+ * respect to `(`, `[`, `{`, `<`/`>`). Used to split parameter lists and
+ * type-parameter lists without being confused by nested generics/objects.
+ */
+export function splitTopLevel(content, separator) {
+    const parts = [];
+    let depth = 0;
+    let current = "";
+    for (const ch of content) {
+        if (OPEN_BRACKETS.has(ch))
+            depth += 1;
+        else if (CLOSE_BRACKETS.has(ch))
+            depth = Math.max(0, depth - 1);
+        if (ch === separator && depth === 0) {
+            parts.push(current);
+            current = "";
+        }
+        else {
+            current += ch;
+        }
+    }
+    parts.push(current);
+    return parts;
+}
+/**
+ * Index of the top-level `=` that introduces a default value, or -1.
+ * Excludes `=>`, `==`, `===`, `!=`, `!==`, `<=`, `>=`.
+ */
+function findTopLevelDefaultEquals(text) {
+    let depth = 0;
+    for (let i = 0; i < text.length; i += 1) {
+        const ch = text[i];
+        if (OPEN_BRACKETS.has(ch)) {
+            depth += 1;
+            continue;
+        }
+        if (CLOSE_BRACKETS.has(ch)) {
+            depth = Math.max(0, depth - 1);
+            continue;
+        }
+        if (ch === "=" && depth === 0) {
+            const prev = i > 0 ? text[i - 1] : "";
+            const next = i + 1 < text.length ? text[i + 1] : "";
+            const isCompoundOperator = next === "=" || next === ">" || prev === "!" || prev === "<" || prev === ">";
+            if (!isCompoundOperator)
+                return i;
+        }
+    }
+    return -1;
+}
+/** Strips a single parameter's/type-parameter's default value (`= <expr>`), keeping any `?`/type annotation before it. */
+export function stripDefaultValue(entry) {
+    const eqIndex = findTopLevelDefaultEquals(entry);
+    return eqIndex === -1 ? entry : entry.slice(0, eqIndex).trimEnd();
+}
+/**
+ * Normalizes a formal-parameter-list text (including its outer parens),
+ * e.g. `(a: number = 1, b ?: string)` -> `(a: number, b?: string)`.
+ */
+export function normalizeParameterList(paramsText) {
+    const trimmed = paramsText.trim();
+    const hasParens = trimmed.startsWith("(") && trimmed.endsWith(")");
+    const inner = hasParens ? trimmed.slice(1, -1) : trimmed;
+    const entries = splitTopLevel(inner, ",")
+        .map((entry) => entry.trim())
+        .filter((entry) => entry.length > 0);
+    const normalizedEntries = entries.map((entry) => normalizeSpacing(stripDefaultValue(entry)));
+    return `(${normalizedEntries.join(", ")})`;
+}
+/**
+ * Normalizes a type-parameter list text (including its outer `<>`), e.g.
+ * `<T extends object = {}, U>` -> `<T extends object, U>`.
+ */
+export function normalizeTypeParameterList(typeParamsText) {
+    if (typeParamsText === undefined || typeParamsText.trim().length === 0)
+        return "";
+    const trimmed = typeParamsText.trim();
+    const hasBrackets = trimmed.startsWith("<") && trimmed.endsWith(">");
+    const inner = hasBrackets ? trimmed.slice(1, -1) : trimmed;
+    const entries = splitTopLevel(inner, ",")
+        .map((entry) => entry.trim())
+        .filter((entry) => entry.length > 0);
+    if (entries.length === 0)
+        return "";
+    const normalizedEntries = entries.map((entry) => normalizeSpacing(stripDefaultValue(entry)));
+    return `<${normalizedEntries.join(", ")}>`;
+}
+/** Normalizes a return-type annotation text (e.g. ` : Promise<void> ` -> `: Promise<void>`). */
+export function normalizeReturnType(returnTypeText) {
+    if (returnTypeText === undefined || returnTypeText.trim().length === 0)
+        return "";
+    const normalized = normalizeSpacing(returnTypeText);
+    return normalized.startsWith(":") ? normalized : `: ${normalized}`;
+}
+/** Normalizes an arbitrary header text (class/interface/type/enum declarations). */
+export function normalizeHeaderText(headerText) {
+    return normalizeSpacing(headerText.replace(/;\s*$/, ""));
+}
+//# sourceMappingURL=signature.js.map

package/dist/languages/shared/signature.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"signature.js","sourceRoot":"","sources":["../../../src/languages/shared/signature.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAEH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AACpD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;AAErD,gFAAgF;AAChF,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,OAAO,IAAI;SACR,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;SACpB,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC;SAC3B,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC;SACzB,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC;SACzB,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC;SACtB,OAAO,CAAC,QAAQ,EAAE,GAAG,CAAC;SACtB,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;SACrB,OAAO,CAAC,YAAY,EAAE,KAAK,CAAC;SAC5B,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC;SACvB,IAAI,EAAE,CAAC;AACZ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe,EAAE,SAAiB;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,EAAE,CAAC;IACjB,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;aACjC,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAChE,IAAI,EAAE,KAAK,SAAS,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,OAAO,GAAG,EAAE,CAAC;QACf,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,EAAE,CAAC;QAChB,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,SAAS,yBAAyB,CAAC,IAAY;IAC7C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAW,CAAC;QAC7B,IAAI,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC3B,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,MAAM,kBAAkB,GACtB,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC;YAC/E,IAAI,CAAC,kBAAkB;gBAAE,OAAO,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,0HAA0H;AAC1H,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,MAAM,OAAO,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACjD,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;AACpE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IACvD,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IACzD,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC;SACtC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;SAC5B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7F,OAAO,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAC7C,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,0BAA0B,CAAC,cAAkC;IAC3E,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClF,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,EAAE,CAAC;IACtC,MAAM,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACrE,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC3D,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC;SACtC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;SAC5B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACvC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,iBAAiB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC7F,OAAO,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AAC7C,CAAC;AAED,gGAAgG;AAChG,MAAM,UAAU,mBAAmB,CAAC,cAAkC;IACpE,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAClF,MAAM,UAAU,GAAG,gBAAgB,CAAC,cAAc,CAAC,CAAC;IACpD,OAAO,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,UAAU,EAAE,CAAC;AACrE,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,mBAAmB,CAAC,UAAkB;IACpD,OAAO,gBAAgB,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;AAC3D,CAAC"}

package/dist/languages/shared/syntax.d.ts

@@ -0,0 +1,115 @@
+/**
+ * Der backend-neutrale Baumvertrag dieses Pakets.
+ *
+ * WARUM ES IHN GIBT: seit WP-220 laufen ZWEI Parser-Backends unter demselben
+ * `LanguageAdapter` (domain `analysis.ts`) — `tree-sitter` fuer die
+ * JS/TS-Familie und `@ast-grep/napi` fuer die Sprachen, fuer die wir keine
+ * eigene Grammatik pflegen wollen. Der vereinheitlichte Walk (`engine.ts`),
+ * die Parse-Diagnosen (`parse-diagnostics.ts`), die Fingerabdruecke
+ * (`fingerprint.ts`) und der Regionenbaum (`chunks.ts`) sind fuer BEIDE
+ * dieselben Zeilen. Sie sprechen deshalb nicht mehr ueber
+ * `Parser.SyntaxNode`/`Parser.TreeCursor`, sondern ueber die zwei Formen hier.
+ *
+ * DIE FORMEN SIND ABSICHTLICH DIE VON TREE-SITTER. `Parser.SyntaxNode` und
+ * `Parser.TreeCursor` erfuellen sie STRUKTURELL, ohne einen einzigen Wrapper:
+ * der tree-sitter-Weg zahlt fuer diese Abstraktion nichts, kein Objekt, kein
+ * Aufruf mehr als vorher (`languages/shared/tree-sitter-types.ts` haelt die
+ * Zusage mit einer Zuweisungspruefung fest). Die Kosten traegt der neue Weg:
+ * `languages/astgrep-backend/syntax.ts` baut die Form ueber `SgNode` nach, weil
+ * ast-grep KEINE Cursor-API hat (gemessen: Faktor 3,74 auf dem Walk). Diese
+ * Richtung ist gewollt — der gemessen schnellere Weg bleibt der billige.
+ *
+ * ZWEI EIGENSCHAFTEN, DIE JEDES BACKEND EINHALTEN MUSS:
+ *
+ *  1. `startIndex`/`endIndex` und `startPosition.column` sind UTF-16-Offsets,
+ *     NICHT Bytes — bei tree-sitter ebenso wie bei ast-grep, dessen
+ *     Typdefinition `Pos.index` faelschlich als "byte offset" beschreibt
+ *     (nachgemessen an Umlauten und Emoji). Bytes entstehen ausschliesslich
+ *     in `node-utils.ts#rangeOf`/`rangeOfCursor` ueber die `ByteOffsetTable`.
+ *
+ *  2. Ein Cursor wird IMMER an der Ausgangsposition zurueckgegeben. Jede
+ *     Hilfsfunktion, die ihn bewegt, bewegt ihn zurueck.
+ */
+/** Zeile/Spalte eines Knotens; `row` und `column` sind 0-basiert. */
+export interface SyntaxPoint {
+    readonly row: number;
+    readonly column: number;
+}
+/**
+ * Ein Knoten des Syntaxbaums — die Teilmenge der tree-sitter-Knotenform, die
+ * dieses Paket wirklich benutzt. Wer hier etwas hinzufuegt, verpflichtet
+ * BEIDE Backends dazu; `languages/astgrep-backend/syntax.ts` muss es dann nachbauen.
+ */
+export interface SyntaxNode {
+    readonly type: string;
+    readonly text: string;
+    /**
+     * Benannter Knoten der Grammatik (kein reines Satzzeichen-/Schluesselwort-
+     * Token). Beide Backends liefern das ohne Umweg (tree-sitter `isNamed`,
+     * ast-grep `isNamed()`); gebraucht wird es dort, wo ein Operator KEIN
+     * eigenes Feld hat und nur ueber "das anonyme Kind" zu finden ist.
+     */
+    readonly isNamed: boolean;
+    /** UTF-16-Offset des ersten Zeichens (siehe Modulkopf, Punkt 1). */
+    readonly startIndex: number;
+    /** UTF-16-Offset hinter dem letzten Zeichen. */
+    readonly endIndex: number;
+    readonly startPosition: SyntaxPoint;
+    readonly endPosition: SyntaxPoint;
+    readonly parent: SyntaxNode | null;
+    /**
+     * Vorheriges Geschwister — auch ein anonymes. `doc-binding.ts` laeuft
+     * darueber rueckwaerts zu Dekoratoren und Doc-Kommentaren; wuerde ein
+     * Backend hier nur BENANNTE Geschwister liefern, veraenderte das die
+     * Doc-Bindung stillschweigend (ast-grep `prev()` ist deshalb geprueft).
+     */
+    readonly previousSibling: SyntaxNode | null;
+    readonly children: readonly SyntaxNode[];
+    readonly namedChildCount: number;
+    namedChild(index: number): SyntaxNode | null;
+    childForFieldName(fieldName: string): SyntaxNode | null;
+    /** Ein Cursor, der auf DIESEM Knoten steht. */
+    walk(): SyntaxCursor;
+}
+/**
+ * Der Traversierungszeiger. Bei tree-sitter haelt er die Position nativ und
+ * baut je Knoten KEINEN Wrapper (WP-95); bei ast-grep bildet ihn ein
+ * expliziter Stapel nach. Der Vertrag ist in beiden Faellen derselbe, und die
+ * Besuchsreihenfolge ebenfalls: Vorordnung ueber `gotoFirstChild` /
+ * `gotoNextSibling` / `gotoParent`, Rueckordnung ueber `gotoLastChild` /
+ * `gotoPreviousSibling` (die Parse-Diagnosen laufen rueckwaerts, siehe
+ * `parse-diagnostics.ts`).
+ */
+export interface SyntaxCursor {
+    readonly nodeType: string;
+    readonly nodeText: string;
+    /**
+     * Fehlender Knoten der Fehlerkorrektur (tree-sitter `ts_node_is_missing`).
+     *
+     * ast-grep hat dazu KEIN Gegenstueck. Sein Cursor liefert an dieser Stelle
+     * eine HEURISTIK (Knoten der Breite null), und der Adapter sagt das in der
+     * Diagnose auch — `languages/astgrep-backend/syntax.ts` und
+     * `languages/astgrep-backend/create-adapter.ts`. Wer den Wert liest, muss wissen,
+     * dass er je nach Backend gemessen oder geschaetzt ist.
+     */
+    readonly nodeIsMissing: boolean;
+    /**
+     * Feldname, unter dem der aktuelle Knoten in seinem Elternknoten steht,
+     * oder `undefined`. tree-sitter liefert ihn ohne Zusatzkosten; der
+     * ast-grep-Cursor muss ihn ueber die Felder des Elternknotens suchen und
+     * kennt deshalb nur die Feldnamen, die das Sprachprofil nennt
+     * (`profile.ts#LanguageProfile.fieldNames`).
+     */
+    readonly currentFieldName: string | undefined;
+    readonly currentNode: SyntaxNode;
+    readonly startPosition: SyntaxPoint;
+    readonly endPosition: SyntaxPoint;
+    readonly startIndex: number;
+    readonly endIndex: number;
+    gotoParent(): boolean;
+    gotoFirstChild(): boolean;
+    gotoLastChild(): boolean;
+    gotoNextSibling(): boolean;
+    gotoPreviousSibling(): boolean;
+}
+//# sourceMappingURL=syntax.d.ts.map

package/dist/languages/shared/syntax.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.d.ts","sourceRoot":"","sources":["../../../src/languages/shared/syntax.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,qEAAqE;AACrE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,oEAAoE;IACpE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IACnC;;;;;OAKG;IACH,QAAQ,CAAC,eAAe,EAAE,UAAU,GAAG,IAAI,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;IACzC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAAC;IAC7C,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CAAC;IACxD,+CAA+C;IAC/C,IAAI,IAAI,YAAY,CAAC;CACtB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B;;;;;;;;OAQG;IACH,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;IAChC;;;;;;OAMG;IACH,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC;IACpC,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,UAAU,IAAI,OAAO,CAAC;IACtB,cAAc,IAAI,OAAO,CAAC;IAC1B,aAAa,IAAI,OAAO,CAAC;IACzB,eAAe,IAAI,OAAO,CAAC;IAC3B,mBAAmB,IAAI,OAAO,CAAC;CAChC"}

package/dist/languages/shared/syntax.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=syntax.js.map

package/dist/languages/shared/syntax.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.js","sourceRoot":"","sources":["../../../src/languages/shared/syntax.ts"],"names":[],"mappings":""}

package/dist/languages/shared/table-profile-decisions.d.ts

@@ -0,0 +1,54 @@
+import type { DecisionDetectionResult } from "./decisions.js";
+import type { SyntaxNode } from "./syntax.js";
+import type { DecisionRules } from "./table-profile.js";
+/** Kompiliert ausschliesslich Kontrollflussregeln einer Sprachtabelle. */
+export declare class TableDecisionDetector {
+    private readonly rules;
+    private readonly triviaKinds;
+    readonly nodeKinds: ReadonlySet<string>;
+    private readonly ifKinds;
+    private readonly elseIfParentKinds;
+    private readonly elseIfWrapperKinds;
+    private readonly elseIfKinds;
+    private readonly loopKinds;
+    private readonly catchKinds;
+    private readonly ternaryKinds;
+    private readonly switchKinds;
+    private readonly caseKinds;
+    private readonly caseExcludeChildKinds;
+    private readonly guardKinds;
+    private readonly patternAlternativeKinds;
+    private readonly shortCircuitKinds;
+    private readonly anonymousOperatorKinds;
+    private readonly binaryKinds;
+    private readonly jumpKinds;
+    private readonly blockKinds;
+    private readonly logicalKinds;
+    private readonly operatorField;
+    constructor(rules: DecisionRules, triviaKinds: ReadonlySet<string>);
+    private registerLogicalKinds;
+    detect(node: SyntaxNode): DecisionDetectionResult;
+    private detectIf;
+    private isElseIf;
+    /**
+     * Kotlin 0.0.7 verliert in `else /* ... *\/ if` das `else` als Baumknoten
+     * und beendet das erste `if_expression` vor dem Blockkommentar. Die
+     * Korrektur bleibt an AST-Grenzen gebunden: links muss ein mit `if` endender
+     * Geschwisterteilbaum stehen, dazwischen mindestens ein echter
+     * Kommentarknoten, und nur der exakte Keyword-Spalt `else` darf fehlen.
+     */
+    private isDetachedElseIfAfterComments;
+    private isWhitespaceGap;
+    private textBetween;
+    /** Ob `node` an seiner rechten AST-Grenze in einem `if` endet. */
+    private endsWithIf;
+    private isGuardClause;
+    private soleStatementOf;
+    private detectCase;
+    private detectLogical;
+    private operatorOf;
+    /** Stabile, positionsbasierte Kennung einer maximalen Operatorkette. */
+    private logicalGroupIdFor;
+    private isLogicalExpression;
+}
+//# sourceMappingURL=table-profile-decisions.d.ts.map

package/dist/languages/shared/table-profile-decisions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-profile-decisions.d.ts","sourceRoot":"","sources":["../../../src/languages/shared/table-profile-decisions.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,uBAAuB,EAAoB,MAAM,gBAAgB,CAAC;AAChF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAuBxD,0EAA0E;AAC1E,qBAAa,qBAAqB;IAwB9B,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAxB9B,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAExC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAsB;IAC9C,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAsB;IACxD,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAsB;IACzD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAsB;IAClD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAsB;IAChD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAsB;IACjD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAsB;IACnD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAsB;IAClD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAsB;IAChD,OAAO,CAAC,QAAQ,CAAC,qBAAqB,CAAsB;IAC5D,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAsB;IACjD,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAsB;IAC9D,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAsB;IACxD,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAsB;IAC7D,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAsB;IAClD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAsB;IAChD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAsB;IACjD,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAmC;IAChE,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;gBAGpB,KAAK,EAAE,aAAa,EACpB,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC;IAuCnD,OAAO,CAAC,oBAAoB;IAI5B,MAAM,CAAC,IAAI,EAAE,UAAU,GAAG,uBAAuB;IAqBjD,OAAO,CAAC,QAAQ;IAKhB,OAAO,CAAC,QAAQ;IAchB;;;;;;OAMG;IACH,OAAO,CAAC,6BAA6B;IAkBrC,OAAO,CAAC,eAAe;IAKvB,OAAO,CAAC,WAAW;IAOnB,kEAAkE;IAClE,OAAO,CAAC,UAAU;IAclB,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,UAAU;IAOlB,OAAO,CAAC,aAAa;IAOrB,OAAO,CAAC,UAAU;IAWlB,wEAAwE;IACxE,OAAO,CAAC,iBAAiB;IAUzB,OAAO,CAAC,mBAAmB;CAG5B"}

package/dist/languages/shared/table-profile-decisions.js

@@ -0,0 +1,245 @@
+import { firstChildOfKinds, setOf } from "./table-profile-queries.js";
+function branching(kind, construct, continuation) {
+    return {
+        decision: { kind, countsForClassic: true, countsForExtended: true },
+        nesting: { construct, continuation },
+    };
+}
+function extendedOnly(kind, logicalGroupId) {
+    const decision = {
+        kind,
+        countsForClassic: false,
+        countsForExtended: true,
+        ...(logicalGroupId === undefined ? {} : { logicalGroupId }),
+    };
+    return { decision };
+}
+/** Kompiliert ausschliesslich Kontrollflussregeln einer Sprachtabelle. */
+export class TableDecisionDetector {
+    rules;
+    triviaKinds;
+    nodeKinds;
+    ifKinds;
+    elseIfParentKinds;
+    elseIfWrapperKinds;
+    elseIfKinds;
+    loopKinds;
+    catchKinds;
+    ternaryKinds;
+    switchKinds;
+    caseKinds;
+    caseExcludeChildKinds;
+    guardKinds;
+    patternAlternativeKinds;
+    shortCircuitKinds;
+    anonymousOperatorKinds;
+    binaryKinds;
+    jumpKinds;
+    blockKinds;
+    logicalKinds = new Map();
+    operatorField;
+    constructor(rules, triviaKinds) {
+        this.rules = rules;
+        this.triviaKinds = triviaKinds;
+        this.ifKinds = setOf(rules.ifKinds);
+        this.elseIfParentKinds = setOf(rules.elseIfParentKinds);
+        this.elseIfWrapperKinds = setOf(rules.elseIfWrapperKinds);
+        this.elseIfKinds = setOf(rules.elseIfKinds);
+        this.loopKinds = setOf(rules.loopKinds);
+        this.catchKinds = setOf(rules.catchKinds);
+        this.ternaryKinds = setOf(rules.ternaryKinds);
+        this.switchKinds = setOf(rules.switchKinds);
+        this.caseKinds = setOf(rules.caseKinds);
+        this.caseExcludeChildKinds = setOf(rules.caseExcludeChildKinds);
+        this.guardKinds = setOf(rules.guardKinds);
+        this.patternAlternativeKinds = setOf(rules.patternAlternativeKinds);
+        this.shortCircuitKinds = setOf(rules.shortCircuitKinds);
+        this.anonymousOperatorKinds = setOf(rules.anonymousOperatorKinds);
+        this.binaryKinds = setOf(rules.binaryKinds);
+        this.jumpKinds = setOf(rules.jumpKinds);
+        this.blockKinds = setOf(rules.blockKinds);
+        this.operatorField = rules.operatorField ?? "operator";
+        this.registerLogicalKinds(rules.logicalAndOperators, "logical_and");
+        this.registerLogicalKinds(rules.logicalOrOperators, "logical_or");
+        this.registerLogicalKinds(rules.shortCircuitOperators, "short_circuit");
+        this.nodeKinds = new Set([
+            ...this.ifKinds,
+            ...this.loopKinds,
+            ...this.catchKinds,
+            ...this.ternaryKinds,
+            ...this.switchKinds,
+            ...this.caseKinds,
+            ...this.elseIfKinds,
+            ...this.guardKinds,
+            ...this.patternAlternativeKinds,
+            ...this.shortCircuitKinds,
+            ...this.anonymousOperatorKinds,
+            ...this.binaryKinds,
+        ]);
+    }
+    registerLogicalKinds(operators, kind) {
+        for (const operator of operators ?? [])
+            this.logicalKinds.set(operator, kind);
+    }
+    detect(node) {
+        const kind = node.type;
+        if (this.elseIfKinds.has(kind))
+            return branching("else_if", "if", true);
+        if (this.guardKinds.has(kind))
+            return branching("guard", "if", false);
+        if (this.patternAlternativeKinds.has(kind))
+            return extendedOnly("pattern_alternative");
+        if (this.shortCircuitKinds.has(kind)) {
+            return extendedOnly("short_circuit", `short-circuit-${String(node.startIndex)}`);
+        }
+        if (this.ifKinds.has(kind))
+            return this.detectIf(node);
+        if (this.loopKinds.has(kind))
+            return branching("loop", "loop", false);
+        if (this.catchKinds.has(kind))
+            return branching("catch", "catch", false);
+        if (this.ternaryKinds.has(kind))
+            return branching("ternary", "ternary", false);
+        if (this.switchKinds.has(kind))
+            return { nesting: { construct: "switch", continuation: false } };
+        if (this.caseKinds.has(kind))
+            return this.detectCase(node);
+        if (this.binaryKinds.has(kind) || this.anonymousOperatorKinds.has(kind)) {
+            return this.detectLogical(node);
+        }
+        return {};
+    }
+    detectIf(node) {
+        if (this.isElseIf(node))
+            return branching("else_if", "if", true);
+        return branching(this.isGuardClause(node) ? "guard" : "if", "if", false);
+    }
+    isElseIf(node) {
+        const parent = node.parent;
+        if (parent === null)
+            return false;
+        if (this.elseIfParentKinds.has(parent.type))
+            return true;
+        if (this.elseIfWrapperKinds.has(parent.type)) {
+            let previous = parent.previousSibling;
+            while (previous !== null && this.triviaKinds.has(previous.type)) {
+                previous = previous.previousSibling;
+            }
+            if (previous?.type === "else")
+                return true;
+        }
+        return this.isDetachedElseIfAfterComments(node, parent);
+    }
+    /**
+     * Kotlin 0.0.7 verliert in `else /* ... *\/ if` das `else` als Baumknoten
+     * und beendet das erste `if_expression` vor dem Blockkommentar. Die
+     * Korrektur bleibt an AST-Grenzen gebunden: links muss ein mit `if` endender
+     * Geschwisterteilbaum stehen, dazwischen mindestens ein echter
+     * Kommentarknoten, und nur der exakte Keyword-Spalt `else` darf fehlen.
+     */
+    isDetachedElseIfAfterComments(node, parent) {
+        if (this.rules.recoverDetachedElseIfAfterComments !== true)
+            return false;
+        let right = node;
+        let left = node.previousSibling;
+        let sawComment = false;
+        while (left !== null && this.triviaKinds.has(left.type)) {
+            if (!this.isWhitespaceGap(parent, left.endIndex, right.startIndex))
+                return false;
+            sawComment = true;
+            right = left;
+            left = left.previousSibling;
+        }
+        if (!sawComment || left === null || !this.endsWithIf(left))
+            return false;
+        const keywordGap = this.textBetween(parent, left.endIndex, right.startIndex);
+        return keywordGap !== null && keywordGap.trim() === "else";
+    }
+    isWhitespaceGap(parent, startIndex, endIndex) {
+        const gap = this.textBetween(parent, startIndex, endIndex);
+        return gap !== null && gap.trim().length === 0;
+    }
+    textBetween(parent, startIndex, endIndex) {
+        const start = startIndex - parent.startIndex;
+        const end = endIndex - parent.startIndex;
+        if (start < 0 || end < start || end > parent.text.length)
+            return null;
+        return parent.text.slice(start, end);
+    }
+    /** Ob `node` an seiner rechten AST-Grenze in einem `if` endet. */
+    endsWithIf(node) {
+        const endIndex = node.endIndex;
+        const stack = [node];
+        while (stack.length > 0) {
+            const current = stack.pop();
+            if (current.endIndex !== endIndex)
+                continue;
+            if (this.ifKinds.has(current.type))
+                return true;
+            for (const child of current.children) {
+                if (child.endIndex === endIndex)
+                    stack.push(child);
+            }
+        }
+        return false;
+    }
+    isGuardClause(node) {
+        if (this.rules.consequenceField === undefined || this.jumpKinds.size === 0)
+            return false;
+        if (this.rules.alternativeField !== undefined &&
+            node.childForFieldName(this.rules.alternativeField) !== null) {
+            return false;
+        }
+        const consequence = node.childForFieldName(this.rules.consequenceField);
+        const sole = consequence === null ? null : this.soleStatementOf(consequence);
+        return sole !== null && this.jumpKinds.has(sole.type);
+    }
+    soleStatementOf(node) {
+        let current = node;
+        while (current !== null && this.blockKinds.has(current.type)) {
+            current = current.namedChildCount === 1 ? current.namedChild(0) : null;
+        }
+        return current;
+    }
+    detectCase(node) {
+        if (firstChildOfKinds(node, this.caseExcludeChildKinds) !== null)
+            return {};
+        const firstText = node.children[0]?.text.trim();
+        if (firstText !== undefined && firstText === this.rules.caseExcludeFirstChildText)
+            return {};
+        return { decision: { kind: "case", countsForClassic: true, countsForExtended: true } };
+    }
+    detectLogical(node) {
+        const operator = this.operatorOf(node);
+        if (operator === undefined)
+            return {};
+        const kind = this.logicalKinds.get(operator);
+        return kind === undefined ? {} : extendedOnly(kind, this.logicalGroupIdFor(node, operator));
+    }
+    operatorOf(node) {
+        if (!this.anonymousOperatorKinds.has(node.type)) {
+            return node.childForFieldName(this.operatorField)?.text;
+        }
+        for (const child of node.children) {
+            const text = child.text.trim();
+            if (this.logicalKinds.has(text))
+                return text;
+        }
+        return undefined;
+    }
+    /** Stabile, positionsbasierte Kennung einer maximalen Operatorkette. */
+    logicalGroupIdFor(node, operator) {
+        let top = node;
+        while (top.parent !== null && this.isLogicalExpression(top.parent)) {
+            const parent = top.parent;
+            if (this.operatorOf(parent) !== operator)
+                break;
+            top = parent;
+        }
+        return `logical-${String(top.startIndex)}`;
+    }
+    isLogicalExpression(node) {
+        return this.binaryKinds.has(node.type) || this.anonymousOperatorKinds.has(node.type);
+    }
+}
+//# sourceMappingURL=table-profile-decisions.js.map

package/dist/languages/shared/table-profile-decisions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-profile-decisions.js","sourceRoot":"","sources":["../../../src/languages/shared/table-profile-decisions.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,MAAM,4BAA4B,CAAC;AAGtE,SAAS,SAAS,CAChB,IAAkB,EAClB,SAAiB,EACjB,YAAqB;IAErB,OAAO;QACL,QAAQ,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE;QACnE,OAAO,EAAE,EAAE,SAAS,EAAE,YAAY,EAAE;KACrC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CAAC,IAAkB,EAAE,cAAuB;IAC/D,MAAM,QAAQ,GAAqB;QACjC,IAAI;QACJ,gBAAgB,EAAE,KAAK;QACvB,iBAAiB,EAAE,IAAI;QACvB,GAAG,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC;KAC5D,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,CAAC;AACtB,CAAC;AAED,0EAA0E;AAC1E,MAAM,OAAO,qBAAqB;IAwBb;IACA;IAxBV,SAAS,CAAsB;IAEvB,OAAO,CAAsB;IAC7B,iBAAiB,CAAsB;IACvC,kBAAkB,CAAsB;IACxC,WAAW,CAAsB;IACjC,SAAS,CAAsB;IAC/B,UAAU,CAAsB;IAChC,YAAY,CAAsB;IAClC,WAAW,CAAsB;IACjC,SAAS,CAAsB;IAC/B,qBAAqB,CAAsB;IAC3C,UAAU,CAAsB;IAChC,uBAAuB,CAAsB;IAC7C,iBAAiB,CAAsB;IACvC,sBAAsB,CAAsB;IAC5C,WAAW,CAAsB;IACjC,SAAS,CAAsB;IAC/B,UAAU,CAAsB;IAChC,YAAY,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,aAAa,CAAS;IAEvC,YACmB,KAAoB,EACpB,WAAgC;QADhC,UAAK,GAAL,KAAK,CAAe;QACpB,gBAAW,GAAX,WAAW,CAAqB;QAEjD,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACpC,IAAI,CAAC,iBAAiB,GAAG,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACxD,IAAI,CAAC,kBAAkB,GAAG,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,CAAC,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QAC9C,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,qBAAqB,GAAG,KAAK,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAChE,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,CAAC,uBAAuB,GAAG,KAAK,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;QACpE,IAAI,CAAC,iBAAiB,GAAG,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QACxD,IAAI,CAAC,sBAAsB,GAAG,KAAK,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;QAClE,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACxC,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAI,CAAC,aAAa,GAAG,KAAK,CAAC,aAAa,IAAI,UAAU,CAAC;QACvD,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,mBAAmB,EAAE,aAAa,CAAC,CAAC;QACpE,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,kBAAkB,EAAE,YAAY,CAAC,CAAC;QAClE,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,qBAAqB,EAAE,eAAe,CAAC,CAAC;QACxE,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC;YACvB,GAAG,IAAI,CAAC,OAAO;YACf,GAAG,IAAI,CAAC,SAAS;YACjB,GAAG,IAAI,CAAC,UAAU;YAClB,GAAG,IAAI,CAAC,YAAY;YACpB,GAAG,IAAI,CAAC,WAAW;YACnB,GAAG,IAAI,CAAC,SAAS;YACjB,GAAG,IAAI,CAAC,WAAW;YACnB,GAAG,IAAI,CAAC,UAAU;YAClB,GAAG,IAAI,CAAC,uBAAuB;YAC/B,GAAG,IAAI,CAAC,iBAAiB;YACzB,GAAG,IAAI,CAAC,sBAAsB;YAC9B,GAAG,IAAI,CAAC,WAAW;SACpB,CAAC,CAAC;IACL,CAAC;IAEO,oBAAoB,CAAC,SAAwC,EAAE,IAAkB;QACvF,KAAK,MAAM,QAAQ,IAAI,SAAS,IAAI,EAAE;YAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAChF,CAAC;IAED,MAAM,CAAC,IAAgB;QACrB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QACvB,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACxE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,YAAY,CAAC,qBAAqB,CAAC,CAAC;QACvF,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,OAAO,YAAY,CAAC,eAAe,EAAE,iBAAiB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;QACtE,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;QACzE,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QAC/E,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;YAC5B,OAAO,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,CAAC;QACnE,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IAEO,QAAQ,CAAC,IAAgB;QAC/B,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACjE,OAAO,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3E,CAAC;IAEO,QAAQ,CAAC,IAAgB;QAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAClC,IAAI,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC;QACzD,IAAI,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,IAAI,QAAQ,GAAG,MAAM,CAAC,eAAe,CAAC;YACtC,OAAO,QAAQ,KAAK,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChE,QAAQ,GAAG,QAAQ,CAAC,eAAe,CAAC;YACtC,CAAC;YACD,IAAI,QAAQ,EAAE,IAAI,KAAK,MAAM;gBAAE,OAAO,IAAI,CAAC;QAC7C,CAAC;QACD,OAAO,IAAI,CAAC,6BAA6B,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1D,CAAC;IAED;;;;;;OAMG;IACK,6BAA6B,CAAC,IAAgB,EAAE,MAAkB;QACxE,IAAI,IAAI,CAAC,KAAK,CAAC,kCAAkC,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAEzE,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,IAAI,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC;QAChC,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxD,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC;gBAAE,OAAO,KAAK,CAAC;YACjF,UAAU,GAAG,IAAI,CAAC;YAClB,KAAK,GAAG,IAAI,CAAC;YACb,IAAI,GAAG,IAAI,CAAC,eAAe,CAAC;QAC9B,CAAC;QACD,IAAI,CAAC,UAAU,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAEzE,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;QAC7E,OAAO,UAAU,KAAK,IAAI,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,MAAM,CAAC;IAC7D,CAAC;IAEO,eAAe,CAAC,MAAkB,EAAE,UAAkB,EAAE,QAAgB;QAC9E,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC3D,OAAO,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC;IACjD,CAAC;IAEO,WAAW,CAAC,MAAkB,EAAE,UAAkB,EAAE,QAAgB;QAC1E,MAAM,KAAK,GAAG,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;QAC7C,MAAM,GAAG,GAAG,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC;QACzC,IAAI,KAAK,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK,IAAI,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QACtE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IACvC,CAAC;IAED,kEAAkE;IAC1D,UAAU,CAAC,IAAgB;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,MAAM,KAAK,GAAiB,CAAC,IAAI,CAAC,CAAC;QACnC,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAgB,CAAC;YAC1C,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ;gBAAE,SAAS;YAC5C,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;YAChD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACrC,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;oBAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrD,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,aAAa,CAAC,IAAgB;QACpC,IAAI,IAAI,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzF,IACE,IAAI,CAAC,KAAK,CAAC,gBAAgB,KAAK,SAAS;YACzC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,IAAI,EAC5D,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QACxE,MAAM,IAAI,GAAG,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,CAAC;QAC7E,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC;IAEO,eAAe,CAAC,IAAgB;QACtC,IAAI,OAAO,GAAsB,IAAI,CAAC;QACtC,OAAO,OAAO,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7D,OAAO,GAAG,OAAO,CAAC,eAAe,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACzE,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,UAAU,CAAC,IAAgB;QACjC,IAAI,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,qBAAqB,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QAC5E,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAChD,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC,KAAK,CAAC,yBAAyB;YAAE,OAAO,EAAE,CAAC;QAC7F,OAAO,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,gBAAgB,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,EAAE,CAAC;IACzF,CAAC;IAEO,aAAa,CAAC,IAAgB;QACpC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC7C,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,iBAAiB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9F,CAAC;IAEO,UAAU,CAAC,IAAgB;QACjC,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAChD,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;QAC1D,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QAC/C,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,wEAAwE;IAChE,iBAAiB,CAAC,IAAgB,EAAE,QAAgB;QAC1D,IAAI,GAAG,GAAG,IAAI,CAAC;QACf,OAAO,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YACnE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC;YAC1B,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,QAAQ;gBAAE,MAAM;YAChD,GAAG,GAAG,MAAM,CAAC;QACf,CAAC;QACD,OAAO,WAAW,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;IAC7C,CAAC;IAEO,mBAAmB,CAAC,IAAgB;QAC1C,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC;CACF"}

package/dist/languages/shared/table-profile-module-facts.d.ts

@@ -0,0 +1,29 @@
+import type { FileTextContext } from "./node-utils.js";
+import type { ModuleFactSink } from "./profile.js";
+import type { SyntaxNode } from "./syntax.js";
+import type { CallRules, ImportRules } from "./table-profile.js";
+/** Kompiliert ausschliesslich Import- und Aufrufregeln einer Sprachtabelle. */
+export declare class TableModuleFactCollector {
+    private readonly imports;
+    private readonly calls;
+    readonly nodeKinds: ReadonlySet<string>;
+    private readonly importKinds;
+    private readonly importSpecKinds;
+    private readonly callKinds;
+    private readonly constructionKinds;
+    private readonly memberKinds;
+    private readonly functionField;
+    private readonly argumentsField;
+    constructor(imports: ImportRules, calls: CallRules);
+    collect(node: SyntaxNode, kind: string, callerScopeId: string, ctx: FileTextContext, sink: ModuleFactSink): void;
+    private collectImports;
+    private collectImportSpec;
+    private importPartsOf;
+    private initialImportPathOf;
+    private namedChildTexts;
+    private collectCall;
+    private calleeOf;
+    private callTargetOf;
+    private memberCalleeOf;
+}
+//# sourceMappingURL=table-profile-module-facts.d.ts.map

package/dist/languages/shared/table-profile-module-facts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"table-profile-module-facts.d.ts","sourceRoot":"","sources":["../../../src/languages/shared/table-profile-module-facts.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAEvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAO9C,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAYjE,+EAA+E;AAC/E,qBAAa,wBAAwB;IAYjC,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,KAAK;IAZxB,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAExC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAsB;IAClD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAsB;IACtD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAsB;IAChD,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAsB;IACxD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAsB;IAClD,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IACvC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAS;gBAGrB,OAAO,EAAE,WAAW,EACpB,KAAK,EAAE,SAAS;IAYnC,OAAO,CACL,IAAI,EAAE,UAAU,EAChB,IAAI,EAAE,MAAM,EACZ,aAAa,EAAE,MAAM,EACrB,GAAG,EAAE,eAAe,EACpB,IAAI,EAAE,cAAc,GACnB,IAAI;IAQP,OAAO,CAAC,cAAc;IAOtB,OAAO,CAAC,iBAAiB;IAczB,OAAO,CAAC,aAAa;IAmBrB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,QAAQ;IAehB,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,cAAc;CAQvB"}