umple-lsp-server 0.4.2 → 1.0.1

package/out/codeActions.js

@@ -0,0 +1,361 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.buildQuickFixActions = buildQuickFixActions;
+exports.splitCodeAndComment = splitCodeAndComment;
+/**
+ * Quick-fix code actions for Umple diagnostics (topics 056, 057).
+ *
+ * Pure logic only: takes a TextDocument + Diagnostic[] and returns the
+ * CodeActions that apply. No LSP transport, no compiler invocation.
+ *
+ * Currently produces a single user-visible action: `Add missing semicolon`.
+ * Three trigger codes, three classifiers:
+ *
+ *   - W1007 (class-content): isA / implementsReq / inline assoc / interface
+ *     method signature / attribute declaration (incl. simple default value).
+ *   - W1006 (state-machine): transition with optional guard + action body.
+ *   - E1502 (filter-body): include / includeFilter / namespace statements.
+ *     The diagnostic line points to the filter HEADER, so this branch
+ *     scans the filter block for an unterminated single-line statement and
+ *     emits the action only when EXACTLY ONE candidate is found.
+ *
+ * Each classifier rejects line shapes where appending `;` either doesn't
+ * fix the diagnostic or introduces a new one.
+ */
+const node_1 = require("vscode-languageserver/node");
+const diagnosticSources_1 = require("./diagnosticSources");
+const W1007 = "W1007";
+const W1006 = "W1006";
+const E1502 = "E1502";
+const SEMICOLON_TITLE = "Add missing semicolon";
+/**
+ * Build all quick-fix CodeActions that apply to the given diagnostic set.
+ * Currently this is just `Add missing semicolon`.
+ */
+function buildQuickFixActions(document, diagnostics) {
+    const actions = [];
+    const text = document.getText();
+    const lines = text.split(/\r?\n/);
+    for (const diag of diagnostics) {
+        const action = buildSemicolonAction(document, lines, diag);
+        if (action)
+            actions.push(action);
+    }
+    return actions;
+}
+function buildSemicolonAction(document, lines, diag) {
+    if (!(0, diagnosticSources_1.isUmpleDiagnosticSource)(diag.source))
+        return null;
+    if (diag.message?.startsWith("In imported file"))
+        return null;
+    if (diag.code === W1007) {
+        return buildLineLocalSemicolonAction(document, lines, diag, classifyW1007);
+    }
+    if (diag.code === W1006) {
+        return buildLineLocalSemicolonAction(document, lines, diag, classifyW1006);
+    }
+    if (diag.code === E1502) {
+        return buildFilterStatementSemicolonAction(document, lines, diag);
+    }
+    return null;
+}
+/**
+ * Common shape for W1007 / W1006 actions: the diagnostic line IS the line
+ * we want to edit. The classifier callback decides whether the trimmed
+ * code matches a known semicolon-fix shape.
+ */
+function buildLineLocalSemicolonAction(document, lines, diag, classify) {
+    const line = diag.range.start.line;
+    if (line < 0 || line >= lines.length)
+        return null;
+    const lineText = lines[line];
+    const split = splitCodeAndComment(lineText);
+    const codeTrimmed = split.code.trimEnd();
+    if (codeTrimmed.length === 0)
+        return null;
+    const lastChar = codeTrimmed[codeTrimmed.length - 1];
+    if (lastChar === ";" || lastChar === "{" || lastChar === "}" || lastChar === ",") {
+        return null;
+    }
+    if (!classify(codeTrimmed.trimStart(), lines, line))
+        return null;
+    return makeAction(document, diag, line, codeTrimmed.length);
+}
+/**
+ * E1502 (filter-body) action. Diagnostic line is the filter header, NOT
+ * the bad statement line. Find the enclosing filter block, scan inside
+ * for unterminated single-line statements, and emit an action only when
+ * EXACTLY ONE candidate exists. Multiple candidates → no action (E1502
+ * doesn't tell us which to fix).
+ */
+function buildFilterStatementSemicolonAction(document, lines, diag) {
+    const block = findEnclosingFilterBlock(lines, diag.range.start.line);
+    if (!block)
+        return null;
+    // Track nested brace depth as we walk through the filter body. Only
+    // statements at the top level of the filter body (depth === 0) are
+    // candidates for the semicolon fix. A nested `hops { include C }`
+    // doesn't help E1502 even if `include C;` looks like a valid
+    // filter-statement shape — the compiler diagnostic is still raised.
+    const candidates = [];
+    let depth = 0;
+    for (let i = block.bodyStart; i <= block.bodyEnd; i++) {
+        const lineText = lines[i] ?? "";
+        const split = splitCodeAndComment(lineText);
+        const codeTrimmed = split.code.trimEnd();
+        // Compute depth-at-start-of-line *before* updating from this line's
+        // braces, so a candidate on a line that opens a nested block still
+        // counts as filter-top-level if the depth was 0 going in.
+        const depthAtLineStart = depth;
+        for (let j = 0; j < split.code.length; j++) {
+            const c = split.code[j];
+            if (c === "{")
+                depth++;
+            else if (c === "}")
+                depth = Math.max(0, depth - 1);
+        }
+        if (codeTrimmed.length === 0)
+            continue;
+        if (depthAtLineStart !== 0)
+            continue;
+        const lastChar = codeTrimmed[codeTrimmed.length - 1];
+        if (lastChar === ";" || lastChar === "{" || lastChar === "}" || lastChar === ",") {
+            continue;
+        }
+        if (!looksLikeFilterStatement(codeTrimmed.trimStart()))
+            continue;
+        candidates.push({ line: i, insertCol: codeTrimmed.length });
+    }
+    if (candidates.length !== 1)
+        return null;
+    const c = candidates[0];
+    return makeAction(document, diag, c.line, c.insertCol);
+}
+function makeAction(document, diag, line, character) {
+    const edit = node_1.TextEdit.insert({ line, character }, ";");
+    const workspaceEdit = { changes: { [document.uri]: [edit] } };
+    return {
+        title: SEMICOLON_TITLE,
+        kind: node_1.CodeActionKind.QuickFix,
+        diagnostics: [diag],
+        edit: workspaceEdit,
+    };
+}
+// ── W1007 classifier (class-content) ───────────────────────────────────────
+function classifyW1007(code, lines, diagLine) {
+    if (looksLikeIsAList(code))
+        return true;
+    if (looksLikeImplementsReqList(code))
+        return true;
+    if (looksLikeInlineAssociation(code))
+        return true;
+    if (looksLikeMethodSignature(code) && isInsideInterfaceBody(lines, diagLine))
+        return true;
+    if (looksLikeAttributeDeclaration(code))
+        return true;
+    return false;
+}
+const ID = "[A-Za-z_][A-Za-z_0-9]*";
+const ID_LIST = `${ID}(\\s*,\\s*${ID})*`;
+function looksLikeIsAList(code) {
+    return new RegExp(`^isA\\s+${ID_LIST}$`).test(code);
+}
+function looksLikeImplementsReqList(code) {
+    return new RegExp(`^implementsReq\\s+${ID_LIST}$`).test(code);
+}
+const ARROW = /(<@>-|-<@>|>->|<-<|->|<-|--)/;
+const ASSOC_REJECT_CHARS = /[+=&|!?:;{}()\[\]]/;
+const MULTIPLICITY = /(?:^|\s)(?:\*|\d+(?:\.\.(?:\*|\d+))?)(?:\s|$)/;
+function looksLikeInlineAssociation(code) {
+    if (!ARROW.test(code))
+        return false;
+    if (ASSOC_REJECT_CHARS.test(code))
+        return false;
+    if (!MULTIPLICITY.test(code))
+        return false;
+    const trimmed = code.trim();
+    if (!/[A-Za-z_]\w*$/.test(trimmed))
+        return false;
+    return true;
+}
+function looksLikeMethodSignature(code) {
+    return new RegExp(`^(${ID}(\\s*<[\\w\\s,<>]+>)?\\s+)?${ID}\\s*\\([^)]*\\)\\s*$`).test(code);
+}
+const STRUCTURAL_FIRST_TOKENS = new Set([
+    "class",
+    "interface",
+    "trait",
+    "associationClass",
+    "enum",
+    "state",
+    "statemachine",
+    "stateMachine",
+    "filter",
+    "req",
+    "mixset",
+    "namespace",
+    "use",
+]);
+function looksLikeAttributeDeclaration(code) {
+    const first = code.split(/\s+/, 1)[0];
+    if (STRUCTURAL_FIRST_TOKENS.has(first))
+        return false;
+    // Path 1 (topic 056): two or more whitespace-separated bare identifiers.
+    if (new RegExp(`^${ID}(\\s+${ID})+$`).test(code))
+        return true;
+    // Path 2 (topic 057 item 3): default-value attribute. `<type> <name> =
+    // <literal>` where literal is number, single-token quoted string, true,
+    // false, or another bare identifier. Reject expression operators on RHS.
+    return looksLikeDefaultValueAttribute(code);
+}
+const NUMBER_LITERAL = `-?\\d+(?:\\.\\d+)?`;
+// Conservative quoted string: opening quote, no-quote chars (no escapes),
+// closing quote. Allows spaces inside: `"Bob Smith"`. Backslash escapes
+// not supported — documented as a false negative.
+const STRING_LITERAL = `"[^"\\\\]*"`;
+const RHS_VALUE = `(?:${NUMBER_LITERAL}|${STRING_LITERAL}|true|false|${ID})`;
+function looksLikeDefaultValueAttribute(code) {
+    // `<type> <name> = <value>` — two id tokens before `=`, then a value.
+    // Type-with-generics (`List<String>`) deliberately rejected (compiler
+    // post-fix behavior introduces W46 — not a clean win).
+    return new RegExp(`^${ID}\\s+${ID}\\s*=\\s*${RHS_VALUE}\\s*$`).test(code);
+}
+// ── W1006 classifier (state-machine transitions) ──────────────────────────
+function classifyW1006(code, _lines, _diagLine) {
+    return looksLikeStateTransition(code);
+}
+/**
+ * Match `<event> ([guard])? (/ { action-body })? -> <state>(.<state>)*`.
+ *
+ * - `<event>` is an identifier.
+ * - `[guard]` is bracketed content (no nested `]`).
+ * - `/{action}` is balanced single-level braces (no nested `{`).
+ * - RHS is an identifier or dotted state path.
+ *
+ * Nested braces inside the action body are deliberately rejected — the
+ * single-line classifier wouldn't see them anyway since multi-line action
+ * bodies span multiple diagnostic lines and the W1006 line targeting
+ * already points at the transition header line.
+ */
+function looksLikeStateTransition(code) {
+    return new RegExp(`^${ID}` +
+        `(?:\\s*\\[[^\\]]*\\])?` + // optional [guard]
+        `(?:\\s*/\\s*\\{[^{}]*\\})?` + // optional /{action}
+        `\\s*->\\s*${ID}(?:\\.${ID})*\\s*$`).test(code);
+}
+// ── E1502 classifier (filter-body statements) ─────────────────────────────
+const FILTER_STATEMENT_FIRST_TOKENS = new Set([
+    "include",
+    "includeFilter",
+    "namespace",
+]);
+/**
+ * Match exactly one of:
+ *   include <id>(.<id>)*
+ *   includeFilter <id>(.<id>)*
+ *   namespace <id>(.<id>)*
+ *
+ * Reject anything else under E1502 — the code is broad and covers many
+ * filter parse errors that `;` doesn't fix.
+ */
+function looksLikeFilterStatement(code) {
+    const first = code.split(/\s+/, 1)[0];
+    if (!FILTER_STATEMENT_FIRST_TOKENS.has(first))
+        return false;
+    return new RegExp(`^(?:include|includeFilter|namespace)\\s+${ID}(?:\\s*\\.\\s*${ID})*\\s*$`).test(code);
+}
+/**
+ * Find the `filter <name> { ... }` block that contains (or starts at) the
+ * given hint line. Returns inclusive body-line bounds, or null if no
+ * single filter block can be unambiguously identified.
+ */
+function findEnclosingFilterBlock(lines, hintLine) {
+    // Locate a filter header at or before the hint line whose `{` opens a
+    // block that covers (or comes immediately after) the hint.
+    // Walk forward from the start of the hint line, but anchor on the most
+    // recent `filter <id> {` header at or before it.
+    let headerLine = -1;
+    let openCol = -1;
+    for (let i = Math.min(hintLine, lines.length - 1); i >= 0; i--) {
+        const lineText = lines[i] ?? "";
+        const noComment = splitCodeAndComment(lineText).code;
+        const m = noComment.match(/\bfilter\s+[A-Za-z_]\w*\s*\{/);
+        if (m && m.index !== undefined) {
+            headerLine = i;
+            openCol = m.index + m[0].length - 1;
+            break;
+        }
+    }
+    if (headerLine === -1)
+        return null;
+    // Now walk forward from the `{` counting braces to find the matching `}`.
+    let depth = 0;
+    let bodyEnd = -1;
+    for (let i = headerLine; i < lines.length; i++) {
+        const lineText = lines[i] ?? "";
+        const noComment = splitCodeAndComment(lineText).code;
+        const startCol = i === headerLine ? openCol : 0;
+        for (let j = startCol; j < noComment.length; j++) {
+            const c = noComment[j];
+            if (c === "{")
+                depth++;
+            else if (c === "}") {
+                depth--;
+                if (depth === 0) {
+                    bodyEnd = i;
+                    break;
+                }
+            }
+        }
+        if (bodyEnd !== -1)
+            break;
+    }
+    if (bodyEnd === -1)
+        return null;
+    // Body content is the lines between the header `{` and the matching `}`.
+    const bodyStart = headerLine + 1;
+    if (bodyEnd < bodyStart)
+        return null;
+    // Confirm the hint line is at the header or inside the block; if it's
+    // outside (e.g., diag pointed elsewhere) refuse.
+    if (hintLine < headerLine || hintLine > bodyEnd)
+        return null;
+    return { headerLine, bodyStart, bodyEnd: bodyEnd - 1 };
+}
+// ── Shared helpers ────────────────────────────────────────────────────────
+function isInsideInterfaceBody(lines, diagLine) {
+    let depth = 0;
+    for (let i = diagLine; i >= 0; i--) {
+        const lineText = lines[i] ?? "";
+        const noComment = splitCodeAndComment(lineText).code;
+        for (let j = noComment.length - 1; j >= 0; j--) {
+            const c = noComment[j];
+            if (c === "}")
+                depth++;
+            else if (c === "{") {
+                if (depth === 0) {
+                    const headerHere = noComment.slice(0, j);
+                    if (/\binterface\b/.test(headerHere))
+                        return true;
+                    for (let k = i - 1; k >= Math.max(0, i - 3); k--) {
+                        const prev = splitCodeAndComment(lines[k] ?? "").code;
+                        if (/\binterface\b/.test(prev))
+                            return true;
+                        if (/\b(class|trait|associationClass|enum|filter|statemachine|req)\b/.test(prev))
+                            return false;
+                    }
+                    return false;
+                }
+                depth--;
+            }
+        }
+    }
+    return false;
+}
+function splitCodeAndComment(lineText) {
+    const idx = lineText.indexOf("//");
+    if (idx === -1)
+        return { code: lineText, comment: "" };
+    return { code: lineText.slice(0, idx), comment: lineText.slice(idx) };
+}
+//# sourceMappingURL=codeActions.js.map

package/out/codeActions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codeActions.js","sourceRoot":"","sources":["../src/codeActions.ts"],"names":[],"mappings":";;AAwCA,oDAcC;AA8VD,kDAOC;AA3ZD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,qDAOoC;AAEpC,2DAA8D;AAE9D,MAAM,KAAK,GAAG,OAAO,CAAC;AACtB,MAAM,KAAK,GAAG,OAAO,CAAC;AACtB,MAAM,KAAK,GAAG,OAAO,CAAC;AACtB,MAAM,eAAe,GAAG,uBAAuB,CAAC;AAEhD;;;GAGG;AACH,SAAgB,oBAAoB,CAClC,QAAsB,EACtB,WAAyB;IAEzB,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAElC,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,oBAAoB,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;QAC3D,IAAI,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,oBAAoB,CAC3B,QAAsB,EACtB,KAAe,EACf,IAAgB;IAEhB,IAAI,CAAC,IAAA,2CAAuB,EAAC,IAAI,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACvD,IAAI,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,kBAAkB,CAAC;QAAE,OAAO,IAAI,CAAC;IAE9D,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,6BAA6B,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,6BAA6B,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACxB,OAAO,mCAAmC,CAAC,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACpE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,SAAS,6BAA6B,CACpC,QAAsB,EACtB,KAAe,EACf,IAAgB,EAChB,QAAsE;IAEtE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;IACnC,IAAI,IAAI,GAAG,CAAC,IAAI,IAAI,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,IAAI,CAAC;IAElD,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACzC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAE1C,MAAM,QAAQ,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACrD,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;QACjF,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAEjE,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;AAC9D,CAAC;AAED;;;;;;GAMG;AACH,SAAS,mCAAmC,CAC1C,QAAsB,EACtB,KAAe,EACf,IAAgB;IAEhB,MAAM,KAAK,GAAG,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,oEAAoE;IACpE,mEAAmE;IACnE,kEAAkE;IAClE,6DAA6D;IAC7D,oEAAoE;IACpE,MAAM,UAAU,GAA0C,EAAE,CAAC;IAC7D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,EAAE,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;QACtD,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;QAEzC,oEAAoE;QACpE,mEAAmE;QACnE,0DAA0D;QAC1D,MAAM,gBAAgB,GAAG,KAAK,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,IAAI,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBAClB,IAAI,CAAC,KAAK,GAAG;gBAAE,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACrD,CAAC;QAED,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACvC,IAAI,gBAAgB,KAAK,CAAC;YAAE,SAAS;QAErC,MAAM,QAAQ,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrD,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,EAAE,CAAC;YACjF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,wBAAwB,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;YAAE,SAAS;QAEjE,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,UAAU,CACjB,QAAsB,EACtB,IAAgB,EAChB,IAAY,EACZ,SAAiB;IAEjB,MAAM,IAAI,GAAa,eAAQ,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,CAAC;IACjE,MAAM,aAAa,GAAkB,EAAE,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IAC7E,OAAO;QACL,KAAK,EAAE,eAAe;QACtB,IAAI,EAAE,qBAAc,CAAC,QAAQ;QAC7B,WAAW,EAAE,CAAC,IAAI,CAAC;QACnB,IAAI,EAAE,aAAa;KACpB,CAAC;AACJ,CAAC;AAED,8EAA8E;AAE9E,SAAS,aAAa,CACpB,IAAY,EACZ,KAAe,EACf,QAAgB;IAEhB,IAAI,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,0BAA0B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClD,IAAI,wBAAwB,CAAC,IAAI,CAAC,IAAI,qBAAqB,CAAC,KAAK,EAAE,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC1F,IAAI,6BAA6B,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,EAAE,GAAG,wBAAwB,CAAC;AACpC,MAAM,OAAO,GAAG,GAAG,EAAE,aAAa,EAAE,IAAI,CAAC;AAEzC,SAAS,gBAAgB,CAAC,IAAY;IACpC,OAAO,IAAI,MAAM,CAAC,WAAW,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,0BAA0B,CAAC,IAAY;IAC9C,OAAO,IAAI,MAAM,CAAC,qBAAqB,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,MAAM,KAAK,GAAG,8BAA8B,CAAC;AAC7C,MAAM,kBAAkB,GAAG,oBAAoB,CAAC;AAChD,MAAM,YAAY,GAAG,+CAA+C,CAAC;AAErE,SAAS,0BAA0B,CAAC,IAAY;IAC9C,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAY;IAC5C,OAAO,IAAI,MAAM,CACf,KAAK,EAAE,8BAA8B,EAAE,sBAAsB,CAC9D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,OAAO;IACP,WAAW;IACX,OAAO;IACP,kBAAkB;IAClB,MAAM;IACN,OAAO;IACP,cAAc;IACd,cAAc;IACd,QAAQ;IACR,KAAK;IACL,QAAQ;IACR,WAAW;IACX,KAAK;CACN,CAAC,CAAC;AAEH,SAAS,6BAA6B,CAAC,IAAY;IACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,uBAAuB,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrD,yEAAyE;IACzE,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9D,uEAAuE;IACvE,wEAAwE;IACxE,yEAAyE;IACzE,OAAO,8BAA8B,CAAC,IAAI,CAAC,CAAC;AAC9C,CAAC;AAED,MAAM,cAAc,GAAG,oBAAoB,CAAC;AAC5C,0EAA0E;AAC1E,wEAAwE;AACxE,kDAAkD;AAClD,MAAM,cAAc,GAAG,aAAa,CAAC;AACrC,MAAM,SAAS,GAAG,MAAM,cAAc,IAAI,cAAc,eAAe,EAAE,GAAG,CAAC;AAE7E,SAAS,8BAA8B,CAAC,IAAY;IAClD,sEAAsE;IACtE,sEAAsE;IACtE,uDAAuD;IACvD,OAAO,IAAI,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,YAAY,SAAS,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5E,CAAC;AAED,6EAA6E;AAE7E,SAAS,aAAa,CACpB,IAAY,EACZ,MAAgB,EAChB,SAAiB;IAEjB,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,wBAAwB,CAAC,IAAY;IAC5C,OAAO,IAAI,MAAM,CACf,IAAI,EAAE,EAAE;QACN,wBAAwB,GAAG,mBAAmB;QAC9C,4BAA4B,GAAG,qBAAqB;QACpD,aAAa,EAAE,SAAS,EAAE,SAAS,CACtC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,6EAA6E;AAE7E,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC;IAC5C,SAAS;IACT,eAAe;IACf,WAAW;CACZ,CAAC,CAAC;AAEH;;;;;;;;GAQG;AACH,SAAS,wBAAwB,CAAC,IAAY;IAC5C,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,IAAI,CAAC,6BAA6B,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5D,OAAO,IAAI,MAAM,CACf,2CAA2C,EAAE,iBAAiB,EAAE,SAAS,CAC1E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,SAAS,wBAAwB,CAC/B,KAAe,EACf,QAAgB;IAEhB,sEAAsE;IACtE,2DAA2D;IAC3D,uEAAuE;IACvE,iDAAiD;IACjD,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC;IACpB,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/D,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;QACrD,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC/B,UAAU,GAAG,CAAC,CAAC;YACf,OAAO,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YACpC,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,UAAU,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEnC,0EAA0E;IAC1E,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;QACrD,MAAM,QAAQ,GAAG,CAAC,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBAClB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;gBACnB,KAAK,EAAE,CAAC;gBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,OAAO,GAAG,CAAC,CAAC;oBACZ,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,CAAC;YAAE,MAAM;IAC5B,CAAC;IACD,IAAI,OAAO,KAAK,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAEhC,yEAAyE;IACzE,MAAM,SAAS,GAAG,UAAU,GAAG,CAAC,CAAC;IACjC,IAAI,OAAO,GAAG,SAAS;QAAE,OAAO,IAAI,CAAC;IACrC,sEAAsE;IACtE,iDAAiD;IACjD,IAAI,QAAQ,GAAG,UAAU,IAAI,QAAQ,GAAG,OAAO;QAAE,OAAO,IAAI,CAAC;IAC7D,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC;AACzD,CAAC;AAED,6EAA6E;AAE7E,SAAS,qBAAqB,CAAC,KAAe,EAAE,QAAgB;IAC9D,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC;QACrD,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,CAAC,KAAK,GAAG;gBAAE,KAAK,EAAE,CAAC;iBAClB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;gBACnB,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBAChB,MAAM,UAAU,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACzC,IAAI,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC;wBAAE,OAAO,IAAI,CAAC;oBAClD,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;wBACjD,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;wBACtD,IAAI,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC;4BAAE,OAAO,IAAI,CAAC;wBAC5C,IAAI,iEAAiE,CAAC,IAAI,CAAC,IAAI,CAAC;4BAAE,OAAO,KAAK,CAAC;oBACjG,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,KAAK,EAAE,CAAC;YACV,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,mBAAmB,CAAC,QAAgB;IAIlD,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,GAAG,KAAK,CAAC,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACvD,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,OAAO,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;AACxE,CAAC"}

package/out/completionAnalysis.d.ts

@@ -16,7 +16,7 @@ export interface CompletionInfo {
     /** Operators the parser expects at this position. */
     operators: string[];
     /** Which symbol kinds to offer, or null for none. */
-    symbolKinds: SymbolKind[] | "suppress" | "use_path" | "own_attribute" | "guard_attribute_method" | "trace_attribute_method" | "trace_state" | "trace_method" | "trace_state_method" | "trace_attribute" | "sorted_attribute" | "trait_sm_op_sm" | "trait_sm_op_state" | "trait_sm_op_state_event" | "trait_sm_op_event" | "top_level" | "class_body" | "trait_body" | "interface_body" | "assoc_class_body" | "mixset_body" | "statemachine_body" | "state_body" | "filter_body" | "transition_target" | "userstory_body" | "usecase_body" | "association_multiplicity" | "association_type" | "association_typed_prefix" | null;
+    symbolKinds: SymbolKind[] | "suppress" | "use_path" | "own_attribute" | "guard_attribute_method" | "trace_attribute_method" | "trace_state" | "trace_method" | "trace_state_method" | "trace_attribute" | "trace_event" | "sorted_attribute" | "trait_sm_op_sm" | "trait_sm_op_state" | "trait_sm_op_state_event" | "trait_sm_op_event" | "top_level" | "class_body" | "trait_body" | "interface_body" | "assoc_class_body" | "mixset_body" | "statemachine_body" | "state_body" | "filter_body" | "transition_target" | "userstory_body" | "usecase_body" | "association_multiplicity" | "association_type" | "association_typed_prefix" | "association_arrow" | "isa_typed_prefix" | "decl_type_typed_prefix" | "return_type_typed_prefix" | "code_injection_method" | "filter_include_target" | "param_type_typed_prefix" | "referenced_sm_target" | "trait_sm_binding_target" | "trait_sm_binding_state_target" | null;
     /** True if cursor is at a definition-name position (suppress all). */
     isDefinitionName: boolean;
     /** True if cursor is inside a comment. */
@@ -37,6 +37,14 @@ export interface CompletionInfo {
         smName?: string;
         statePath?: string[];
     };
+    /** Topic 055 — SM name when scope is `trait_sm_binding_state_target`. */
+    traitSmBindingSmName?: string;
+    /**
+     * Topic 055 — Path segments AFTER the SM name when scope is
+     * `trait_sm_binding_state_target`. Empty for `Sm.|`, `["S1"]` for
+     * `Sm.S1.|` / `Sm.S1.I|`, etc.
+     */
+    traitSmBindingStatePrefix?: string[];
 }
 /**
  * Analyze the completion context at a given position in a parsed tree.