umple-lsp-server 0.2.0 → 0.2.2

package/out/referenceSearch.js

@@ -0,0 +1,271 @@
+"use strict";
+/**
+ * Reference search logic.
+ *
+ * Finds all references to a symbol across indexed files using
+ * references.scm query captures and semantic filtering.
+ * No dependency on SymbolIndex class.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.searchReferences = searchReferences;
+// eslint-disable-next-line @typescript-eslint/no-require-imports
+const TreeSitter = require("web-tree-sitter");
+const tokenTypes_1 = require("./tokenTypes");
+const treeUtils_1 = require("./treeUtils");
+/**
+ * Find all references to a symbol across the given files.
+ *
+ * @param declarations      Target symbol declaration(s)
+ * @param includeDeclaration Whether to include declaration sites in results
+ * @param referencesQuery   Loaded references.scm query
+ * @param fileTreeMap       filePath → cached parse tree (only files to search)
+ * @param isAGraph          className → parent class names (for inheritance checks)
+ */
+function searchReferences(declarations, includeDeclaration, referencesQuery, fileTreeMap, isAGraph) {
+    if (declarations.length === 0)
+        return [];
+    const sym = declarations[0];
+    const symName = sym.name;
+    const symKind = sym.kind;
+    const symContainer = sym.container;
+    // Collect definition positions for deduplication and includeDeclaration
+    const defPositions = new Set();
+    for (const d of declarations) {
+        defPositions.add(`${d.file}:${d.line}:${d.column}:${d.endLine}:${d.endColumn}`);
+    }
+    // Container-scoped kinds need enclosing scope verification
+    const containerScopedKinds = new Set([
+        "attribute", "const", "method", "template", "state", "statemachine", "tracecase",
+    ]);
+    const isContainerScoped = containerScopedKinds.has(symKind);
+    const results = [];
+    const seen = new Set();
+    const addResult = (file, line, column, endLine, endColumn) => {
+        const key = `${file}:${line}:${column}:${endLine}:${endColumn}`;
+        if (seen.has(key))
+            return;
+        if (!includeDeclaration && defPositions.has(key))
+            return;
+        seen.add(key);
+        results.push({ file, line, column, endLine, endColumn });
+    };
+    // If includeDeclaration, add all definition sites first
+    if (includeDeclaration) {
+        for (const d of declarations) {
+            addResult(d.file, d.line, d.column, d.endLine, d.endColumn);
+        }
+    }
+    // Scan each file
+    for (const [filePath, tree] of fileTreeMap) {
+        const captures = referencesQuery.captures(tree.rootNode);
+        for (const capture of captures) {
+            const node = capture.node;
+            if (node.text !== symName)
+                continue;
+            // Parse capture name to get reference kinds
+            const refKinds = parseCaptureKinds(capture.name);
+            if (!refKinds || !refKinds.includes(symKind))
+                continue;
+            // For container-scoped kinds, verify enclosing scope matches
+            if (isContainerScoped && symContainer) {
+                const enclosing = resolveEnclosingScopeFromNode(node, symKind);
+                if (enclosing && enclosing !== symContainer) {
+                    if (symKind === "state" || symKind === "statemachine") {
+                        continue;
+                    }
+                    const containerClass = symContainer;
+                    if (!isInheritanceChain(enclosing, containerClass, isAGraph)) {
+                        continue;
+                    }
+                }
+            }
+            // For trait_sm_binding value paths, filter by segment position and depth
+            const valSegIdx = getTraitSmBindingValueSegmentIndex(node);
+            if (valSegIdx !== undefined) {
+                if (valSegIdx === 0 && symKind !== "statemachine")
+                    continue;
+                if (valSegIdx > 0 && symKind !== "state")
+                    continue;
+                if (symKind === "state" && sym.statePath &&
+                    valSegIdx !== sym.statePath.length)
+                    continue;
+            }
+            // For nested states, disambiguate by path context
+            if (symKind === "state" && sym.statePath && sym.statePath.length >= 1) {
+                const pathCtx = extractPathContextFromNode(node);
+                if (pathCtx) {
+                    let preceding = pathCtx.preceding;
+                    if (node.parent?.parent?.type === "trait_sm_binding" &&
+                        node.parent?.parent?.childForFieldName("value")?.id ===
+                            node.parent?.id) {
+                        preceding = preceding.slice(1);
+                    }
+                    const targetPrecedingPath = sym.statePath.slice(0, sym.statePath.length - 1);
+                    if (!pathMatches(preceding, targetPrecedingPath, true)) {
+                        continue;
+                    }
+                }
+                else if (node.parent?.type === "state") {
+                    const candidatePath = (0, treeUtils_1.resolveStatePath)(node);
+                    if (!pathMatches(candidatePath, sym.statePath, false)) {
+                        continue;
+                    }
+                }
+            }
+            addResult(filePath, node.startPosition.row, node.startPosition.column, node.endPosition.row, node.endPosition.column);
+        }
+    }
+    return results;
+}
+// ── Private helpers ─────────────────────────────────────────────────────────
+function parseCaptureKinds(captureName) {
+    const prefix = "reference.";
+    if (!captureName.startsWith(prefix))
+        return null;
+    let rest = captureName.substring(prefix.length);
+    const kinds = [];
+    while (rest.length > 0) {
+        const match = tokenTypes_1.SYMBOL_KINDS_LONGEST_FIRST.find((k) => rest.startsWith(k));
+        if (!match)
+            break;
+        kinds.push(match);
+        rest = rest.substring(match.length);
+        if (rest.startsWith("_"))
+            rest = rest.substring(1);
+    }
+    return kinds.length > 0 ? kinds : null;
+}
+function resolveEnclosingScopeFromNode(node, targetKind) {
+    let current = node.parent;
+    let enclosingClass;
+    let enclosingSM;
+    while (current) {
+        if (current.type === "state_machine" || current.type === "statemachine_definition") {
+            enclosingSM = current.childForFieldName("name")?.text ?? enclosingSM;
+        }
+        if (!enclosingClass &&
+            ["class_definition", "trait_definition", "interface_definition", "association_class_definition"].includes(current.type)) {
+            enclosingClass = current.childForFieldName("name")?.text;
+        }
+        current = current.parent;
+    }
+    if (targetKind === "state" || targetKind === "statemachine") {
+        if (enclosingClass && enclosingSM)
+            return `${enclosingClass}.${enclosingSM}`;
+        if (enclosingSM)
+            return enclosingSM;
+        if (enclosingClass) {
+            const smName = resolveTraitSmBindingValueSM(node);
+            if (smName)
+                return `${enclosingClass}.${smName}`;
+            const refSmName = resolveReferencedSmDefinition(node);
+            if (refSmName)
+                return `${enclosingClass}.${refSmName}`;
+        }
+        return undefined;
+    }
+    if (!enclosingClass && targetKind === "method") {
+        const parent = node.parent;
+        if (parent?.type === "toplevel_code_injection" &&
+            parent.childForFieldName("operation")?.id === node.id) {
+            const targetNode = parent.childForFieldName("target");
+            if (targetNode)
+                return targetNode.text;
+        }
+    }
+    return enclosingClass;
+}
+function resolveTraitSmBindingValueSM(node) {
+    const parent = node.parent;
+    if (parent?.type !== "qualified_name")
+        return undefined;
+    const grandparent = parent.parent;
+    if (grandparent?.type !== "trait_sm_binding")
+        return undefined;
+    if (grandparent.childForFieldName("value")?.id !== parent.id)
+        return undefined;
+    const firstId = parent.namedChild(0);
+    return firstId?.type === "identifier" ? firstId.text : undefined;
+}
+function resolveReferencedSmDefinition(node) {
+    const parent = node.parent;
+    if (parent?.type !== "referenced_statemachine")
+        return undefined;
+    if (parent.childForFieldName("definition")?.id !== node.id)
+        return undefined;
+    return node.text;
+}
+function getTraitSmBindingValueSegmentIndex(node) {
+    const parent = node.parent;
+    if (parent?.type !== "qualified_name")
+        return undefined;
+    const grandparent = parent.parent;
+    if (grandparent?.type !== "trait_sm_binding")
+        return undefined;
+    if (grandparent.childForFieldName("value")?.id !== parent.id)
+        return undefined;
+    let idx = 0;
+    for (let i = 0; i < parent.namedChildCount; i++) {
+        const child = parent.namedChild(i);
+        if (child?.type === "identifier") {
+            if (child.id === node.id)
+                return idx;
+            idx++;
+        }
+    }
+    return undefined;
+}
+function isInheritanceChain(childClass, parentClass, isAGraph) {
+    const visited = new Set();
+    const queue = [childClass];
+    while (queue.length > 0) {
+        const cls = queue.pop();
+        if (cls === parentClass)
+            return true;
+        if (visited.has(cls))
+            continue;
+        visited.add(cls);
+        const parents = isAGraph.get(cls);
+        if (parents)
+            queue.push(...parents);
+    }
+    return false;
+}
+function extractPathContextFromNode(node) {
+    const parent = node.parent;
+    if (!parent || parent.type !== "qualified_name")
+        return null;
+    const segments = [];
+    let nodeIndex = -1;
+    for (let i = 0; i < parent.namedChildCount; i++) {
+        const child = parent.namedChild(i);
+        if (child?.type === "identifier") {
+            if (child.id === node.id)
+                nodeIndex = segments.length;
+            segments.push(child.text);
+        }
+    }
+    if (nodeIndex <= 0)
+        return null;
+    return { preceding: segments.slice(0, nodeIndex) };
+}
+function pathMatches(actual, target, suffix) {
+    if (suffix) {
+        if (actual.length > target.length)
+            return false;
+        const offset = target.length - actual.length;
+        for (let i = 0; i < actual.length; i++) {
+            if (actual[i] !== target[offset + i])
+                return false;
+        }
+        return true;
+    }
+    if (actual.length !== target.length)
+        return false;
+    for (let i = 0; i < actual.length; i++) {
+        if (actual[i] !== target[i])
+            return false;
+    }
+    return true;
+}
+//# sourceMappingURL=referenceSearch.js.map

package/out/referenceSearch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"referenceSearch.js","sourceRoot":"","sources":["../src/referenceSearch.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;AAsBH,4CAkHC;AAtID,iEAAiE;AACjE,MAAM,UAAU,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;AAM9C,6CAA0D;AAE1D,2CAA+C;AAE/C;;;;;;;;GAQG;AACH,SAAgB,gBAAgB,CAC9B,YAA2B,EAC3B,kBAA2B,EAC3B,eAAsB,EACtB,WAA8B,EAC9B,QAA+B;IAE/B,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEzC,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;IACzB,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,CAAC;IACzB,MAAM,YAAY,GAAG,GAAG,CAAC,SAAS,CAAC;IAEnC,wEAAwE;IACxE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;QAC7B,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;IAClF,CAAC;IAED,2DAA2D;IAC3D,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAa;QAC/C,WAAW,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,EAAE,WAAW;KACjF,CAAC,CAAC;IACH,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAE5D,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,IAAY,EAAE,MAAc,EAAE,OAAe,EAAE,SAAiB,EAAE,EAAE;QACnG,MAAM,GAAG,GAAG,GAAG,IAAI,IAAI,IAAI,IAAI,MAAM,IAAI,OAAO,IAAI,SAAS,EAAE,CAAC;QAChE,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QAC1B,IAAI,CAAC,kBAAkB,IAAI,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO;QACzD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC;IAEF,wDAAwD;IACxD,IAAI,kBAAkB,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC7B,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IAED,iBAAiB;IACjB,KAAK,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,WAAW,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAEzD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;YAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YAEpC,4CAA4C;YAC5C,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,SAAS;YAEvD,6DAA6D;YAC7D,IAAI,iBAAiB,IAAI,YAAY,EAAE,CAAC;gBACtC,MAAM,SAAS,GAAG,6BAA6B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC/D,IAAI,SAAS,IAAI,SAAS,KAAK,YAAY,EAAE,CAAC;oBAC5C,IAAI,OAAO,KAAK,OAAO,IAAI,OAAO,KAAK,cAAc,EAAE,CAAC;wBACtD,SAAS;oBACX,CAAC;oBACD,MAAM,cAAc,GAAG,YAAY,CAAC;oBACpC,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,cAAc,EAAE,QAAQ,CAAC,EAAE,CAAC;wBAC7D,SAAS;oBACX,CAAC;gBACH,CAAC;YACH,CAAC;YAED,yEAAyE;YACzE,MAAM,SAAS,GAAG,kCAAkC,CAAC,IAAI,CAAC,CAAC;YAC3D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,IAAI,SAAS,KAAK,CAAC,IAAI,OAAO,KAAK,cAAc;oBAAE,SAAS;gBAC5D,IAAI,SAAS,GAAG,CAAC,IAAI,OAAO,KAAK,OAAO;oBAAE,SAAS;gBACnD,IAAI,OAAO,KAAK,OAAO,IAAI,GAAG,CAAC,SAAS;oBACpC,SAAS,KAAK,GAAG,CAAC,SAAS,CAAC,MAAM;oBAAE,SAAS;YACnD,CAAC;YAED,kDAAkD;YAClD,IAAI,OAAO,KAAK,OAAO,IAAI,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtE,MAAM,OAAO,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;gBACjD,IAAI,OAAO,EAAE,CAAC;oBACZ,IAAI,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;oBAClC,IACE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,KAAK,kBAAkB;wBAChD,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE;4BACjD,IAAI,CAAC,MAAM,EAAE,EAAE,EACjB,CAAC;wBACD,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBACjC,CAAC;oBACD,MAAM,mBAAmB,GAAG,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;oBAC7E,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,mBAAmB,EAAE,IAAI,CAAC,EAAE,CAAC;wBACvD,SAAS;oBACX,CAAC;gBACH,CAAC;qBAAM,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;oBACzC,MAAM,aAAa,GAAG,IAAA,4BAAgB,EAAC,IAAI,CAAC,CAAC;oBAC7C,IAAI,CAAC,WAAW,CAAC,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,CAAC;wBACtD,SAAS;oBACX,CAAC;gBACH,CAAC;YACH,CAAC;YAED,SAAS,CACP,QAAQ,EACR,IAAI,CAAC,aAAa,CAAC,GAAG,EACtB,IAAI,CAAC,aAAa,CAAC,MAAM,EACzB,IAAI,CAAC,WAAW,CAAC,GAAG,EACpB,IAAI,CAAC,WAAW,CAAC,MAAM,CACxB,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAE/E,SAAS,iBAAiB,CAAC,WAAmB;IAC5C,MAAM,MAAM,GAAG,YAAY,CAAC;IAC5B,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IACjD,IAAI,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,uCAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC,KAAK;YAAE,MAAM;QAClB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACzC,CAAC;AAED,SAAS,6BAA6B,CACpC,IAAgB,EAChB,UAAsB;IAEtB,IAAI,OAAO,GAAsB,IAAI,CAAC,MAAM,CAAC;IAC7C,IAAI,cAAkC,CAAC;IACvC,IAAI,WAA+B,CAAC;IAEpC,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,IAAI,OAAO,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YACnF,WAAW,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,IAAI,WAAW,CAAC;QACvE,CAAC;QACD,IACE,CAAC,cAAc;YACf,CAAC,kBAAkB,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,8BAA8B,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,EACvH,CAAC;YACD,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC;QAC3D,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,IAAI,UAAU,KAAK,OAAO,IAAI,UAAU,KAAK,cAAc,EAAE,CAAC;QAC5D,IAAI,cAAc,IAAI,WAAW;YAAE,OAAO,GAAG,cAAc,IAAI,WAAW,EAAE,CAAC;QAC7E,IAAI,WAAW;YAAE,OAAO,WAAW,CAAC;QACpC,IAAI,cAAc,EAAE,CAAC;YACnB,MAAM,MAAM,GAAG,4BAA4B,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,MAAM;gBAAE,OAAO,GAAG,cAAc,IAAI,MAAM,EAAE,CAAC;YACjD,MAAM,SAAS,GAAG,6BAA6B,CAAC,IAAI,CAAC,CAAC;YACtD,IAAI,SAAS;gBAAE,OAAO,GAAG,cAAc,IAAI,SAAS,EAAE,CAAC;QACzD,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,IAAI,CAAC,cAAc,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3B,IACE,MAAM,EAAE,IAAI,KAAK,yBAAyB;YAC1C,MAAM,CAAC,iBAAiB,CAAC,WAAW,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE,EACrD,CAAC;YACD,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YACtD,IAAI,UAAU;gBAAE,OAAO,UAAU,CAAC,IAAI,CAAC;QACzC,CAAC;IACH,CAAC;IAED,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,SAAS,4BAA4B,CAAC,IAAgB;IACpD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,EAAE,IAAI,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,WAAW,EAAE,IAAI,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAC;IAC/D,IAAI,WAAW,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,MAAM,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAC/E,MAAM,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,OAAO,EAAE,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACnE,CAAC;AAED,SAAS,6BAA6B,CAAC,IAAgB;IACrD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,EAAE,IAAI,KAAK,yBAAyB;QAAE,OAAO,SAAS,CAAC;IACjE,IAAI,MAAM,CAAC,iBAAiB,CAAC,YAAY,CAAC,EAAE,EAAE,KAAK,IAAI,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAC7E,OAAO,IAAI,CAAC,IAAI,CAAC;AACnB,CAAC;AAED,SAAS,kCAAkC,CAAC,IAAgB;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,MAAM,EAAE,IAAI,KAAK,gBAAgB;QAAE,OAAO,SAAS,CAAC;IACxD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;IAClC,IAAI,WAAW,EAAE,IAAI,KAAK,kBAAkB;QAAE,OAAO,SAAS,CAAC;IAC/D,IAAI,WAAW,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,MAAM,CAAC,EAAE;QAAE,OAAO,SAAS,CAAC;IAC/E,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;gBAAE,OAAO,GAAG,CAAC;YACrC,GAAG,EAAE,CAAC;QACR,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,SAAS,kBAAkB,CACzB,UAAkB,EAClB,WAAmB,EACnB,QAA+B;IAE/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,CAAC;IAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,GAAG,KAAK,WAAW;YAAE,OAAO,IAAI,CAAC;QACrC,IAAI,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC/B,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjB,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClC,IAAI,OAAO;YAAE,KAAK,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,0BAA0B,CACjC,IAAgB;IAEhB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,IAAI,CAAC;IAE7D,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC,EAAE,EAAE,CAAC;QAChD,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,KAAK,EAAE,IAAI,KAAK,YAAY,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE;gBAAE,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC;YACtD,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,IAAI,SAAS,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAChC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,WAAW,CAAC,MAAgB,EAAE,MAAgB,EAAE,MAAe;IACtE,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;QACrD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IAC5C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/out/resolver.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Shared symbol resolution logic.
+ *
+ * Used by go-to-definition, hover, rename, and the semantic test harness.
+ * Extracted from server.ts to ensure tests exercise the real production path.
+ *
+ * Phase 2: Uses the discriminated LookupContext model for primary resolution
+ * and orthogonal DottedStateRef/StateDefinitionRef for post-lookup disambiguation.
+ */
+import { SymbolIndex, SymbolEntry } from "./symbolIndex";
+/** The token info returned by getTokenAtPosition, minus null. */
+export type TokenResult = NonNullable<ReturnType<SymbolIndex["getTokenAtPosition"]>>;
+/**
+ * Resolve symbol(s) at a given position. Returns the token info plus
+ * matching SymbolEntry[] filtered to reachable files, or null if no
+ * identifier is found at the position.
+ */
+export declare function resolveSymbolAtPosition(si: SymbolIndex, docPath: string, content: string, line: number, col: number, reachableFiles: Set<string>): {
+    token: TokenResult;
+    symbols: SymbolEntry[];
+} | null;

package/out/resolver.js

@@ -0,0 +1,174 @@
+"use strict";
+/**
+ * Shared symbol resolution logic.
+ *
+ * Used by go-to-definition, hover, rename, and the semantic test harness.
+ * Extracted from server.ts to ensure tests exercise the real production path.
+ *
+ * Phase 2: Uses the discriminated LookupContext model for primary resolution
+ * and orthogonal DottedStateRef/StateDefinitionRef for post-lookup disambiguation.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.resolveSymbolAtPosition = resolveSymbolAtPosition;
+const path = require("path");
+/**
+ * Resolve symbol(s) at a given position. Returns the token info plus
+ * matching SymbolEntry[] filtered to reachable files, or null if no
+ * identifier is found at the position.
+ */
+function resolveSymbolAtPosition(si, docPath, content, line, col, reachableFiles) {
+    const token = si.getTokenAtPosition(docPath, content, line, col);
+    if (!token)
+        return null;
+    // If references.scm didn't match any pattern, there's no valid target
+    if (!token.kinds)
+        return { token, symbols: [] };
+    const containerKinds = new Set([
+        "attribute",
+        "const",
+        "method",
+        "template",
+        "state",
+        "statemachine",
+        "tracecase",
+    ]);
+    const isScoped = token.kinds.some((k) => containerKinds.has(k));
+    let container;
+    if (isScoped) {
+        container = token.kinds.some((k) => k === "state" || k === "statemachine")
+            ? token.enclosingStateMachine
+            : token.enclosingClass;
+    }
+    // ── Primary lookup: switch on context type ──────────────────────────────
+    let symbols = [];
+    switch (token.context.type) {
+        case "trait_sm_param": {
+            // trait_sm_binding param (e.g., sm1 in isA T1<sm1 as sm.s2>).
+            // The SM lives in the trait's scope, not the current class.
+            const smContainer = `${token.context.traitName}.${token.word}`;
+            symbols = si
+                .getSymbols({
+                name: token.word,
+                kind: ["statemachine"],
+                container: smContainer,
+            })
+                .filter((s) => reachableFiles.has(path.normalize(s.file)));
+            break;
+        }
+        case "trait_sm_value": {
+            // trait_sm_binding value (e.g., sm.s2 in isA T1<sm1 as sm.s2>).
+            // First segment = statemachine in current class, later = states in that SM.
+            const { pathSegments, segmentIndex } = token.context;
+            const smName = pathSegments[0];
+            const smContainer = `${token.enclosingClass}.${smName}`;
+            if (segmentIndex === 0) {
+                symbols = si
+                    .getSymbols({
+                    name: smName,
+                    kind: ["statemachine"],
+                    container: smContainer,
+                })
+                    .filter((s) => reachableFiles.has(path.normalize(s.file)));
+            }
+            else {
+                symbols = si
+                    .getSymbols({
+                    name: token.word,
+                    kind: ["state"],
+                    container: smContainer,
+                })
+                    .filter((s) => reachableFiles.has(path.normalize(s.file)));
+                // Disambiguate by direct-child depth (compiler uses direct-child-per-segment)
+                const precedingStatePath = pathSegments.slice(1, segmentIndex);
+                if (precedingStatePath.length === 0) {
+                    // Direct child of SM root: require statePath.length === 1
+                    symbols = symbols.filter((s) => !s.statePath || s.statePath.length === 1);
+                }
+                else if (symbols.length > 1) {
+                    const resolved = si.resolveStateInPath(precedingStatePath, token.word, smContainer, reachableFiles);
+                    if (resolved)
+                        symbols = [resolved];
+                }
+            }
+            break;
+        }
+        case "referenced_sm": {
+            // referenced_statemachine: "door as status" — SM lives in the enclosing class.
+            // Container is "ClassName.smName" (self-qualified SM container format).
+            const className = token.enclosingClass;
+            const smContainer = `${className}.${token.word}`;
+            symbols = si
+                .getSymbols({
+                name: token.word,
+                kind: ["statemachine"],
+                container: smContainer,
+            })
+                .filter((s) => reachableFiles.has(path.normalize(s.file)));
+            break;
+        }
+        case "toplevel_injection": {
+            // toplevel_code_injection: "before { Counter } increment()"
+            // Resolve operation name against the target class's own methods only.
+            // The Umple compiler does not resolve inherited methods here (W1012).
+            symbols = si
+                .getSymbols({
+                name: token.word,
+                kind: ["method"],
+                container: token.context.targetClass,
+            })
+                .filter((s) => reachableFiles.has(path.normalize(s.file)));
+            break;
+        }
+        case "default_value_qualifier":
+        case "normal": {
+            // Split kinds into scoped (class/SM-local) and unscoped (global).
+            // Try scoped first; only fall through to unscoped if scoped finds nothing.
+            // Scoped kinds never go global — preserves cross-class isolation.
+            const scopedKinds = token.kinds.filter((k) => containerKinds.has(k));
+            const unscopedKinds = token.kinds.filter((k) => !containerKinds.has(k));
+            if (scopedKinds.length > 0 && container) {
+                symbols = si
+                    .getSymbols({
+                    name: token.word,
+                    kind: scopedKinds,
+                    container,
+                    inherited: true,
+                })
+                    .filter((s) => reachableFiles.has(path.normalize(s.file)));
+            }
+            if (symbols.length === 0 && unscopedKinds.length > 0) {
+                symbols = si
+                    .getSymbols({ name: token.word, kind: unscopedKinds })
+                    .filter((s) => reachableFiles.has(path.normalize(s.file)));
+            }
+            break;
+        }
+    }
+    // ── Post-lookup disambiguation (orthogonal to context type) ─────────────
+    // Dotted state paths (e.g., EEE.Open.Inner → only Inner inside Open)
+    if (token.dottedStateRef &&
+        token.dottedStateRef.pathIndex > 0 &&
+        symbols.length > 1 &&
+        token.enclosingStateMachine) {
+        const precedingPath = token.dottedStateRef.qualifiedPath.slice(0, token.dottedStateRef.pathIndex);
+        const resolved = si.resolveStateInPath(precedingPath, token.word, token.enclosingStateMachine, reachableFiles);
+        if (resolved) {
+            symbols = [resolved];
+        }
+    }
+    // State definition sites (e.g., cursor on Inner in `Inner {}` inside EEE.Open)
+    if (token.stateDefinitionRef &&
+        token.kinds?.includes("state") &&
+        symbols.length > 1) {
+        const defPath = token.stateDefinitionRef.definitionPath;
+        const narrowed = symbols.filter((s) => s.kind === "state" &&
+            s.statePath &&
+            s.statePath.length === defPath.length &&
+            s.statePath.every((seg, i) => seg === defPath[i]));
+        if (narrowed.length > 0) {
+            symbols = narrowed;
+        }
+    }
+    return { token, symbols };
+}
+//# sourceMappingURL=resolver.js.map

package/out/resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolver.js","sourceRoot":"","sources":["../src/resolver.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;AAmBH,0DAsMC;AAvND,6BAA6B;AAY7B;;;;GAIG;AACH,SAAgB,uBAAuB,CACrC,EAAe,EACf,OAAe,EACf,OAAe,EACf,IAAY,EACZ,GAAW,EACX,cAA2B;IAK3B,MAAM,KAAK,GAAG,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACjE,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IAExB,sEAAsE;IACtE,IAAI,CAAC,KAAK,CAAC,KAAK;QAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IAEhD,MAAM,cAAc,GAAG,IAAI,GAAG,CAAS;QACrC,WAAW;QACX,OAAO;QACP,QAAQ;QACR,UAAU;QACV,OAAO;QACP,cAAc;QACd,WAAW;KACZ,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,SAA6B,CAAC;IAClC,IAAI,QAAQ,EAAE,CAAC;QACb,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,cAAc,CAAC;YACxE,CAAC,CAAC,KAAK,CAAC,qBAAqB;YAC7B,CAAC,CAAC,KAAK,CAAC,cAAc,CAAC;IAC3B,CAAC;IAED,2EAA2E;IAE3E,IAAI,OAAO,GAAkB,EAAE,CAAC;IAEhC,QAAQ,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QAC3B,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,8DAA8D;YAC9D,4DAA4D;YAC5D,MAAM,WAAW,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YAC/D,OAAO,GAAG,EAAE;iBACT,UAAU,CAAC;gBACV,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,CAAC,cAAc,CAAC;gBACtB,SAAS,EAAE,WAAW;aACvB,CAAC;iBACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7D,MAAM;QACR,CAAC;QAED,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,gEAAgE;YAChE,4EAA4E;YAC5E,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC;YACrD,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC/B,MAAM,WAAW,GAAG,GAAG,KAAK,CAAC,cAAc,IAAI,MAAM,EAAE,CAAC;YAExD,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,GAAG,EAAE;qBACT,UAAU,CAAC;oBACV,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,CAAC,cAAc,CAAC;oBACtB,SAAS,EAAE,WAAW;iBACvB,CAAC;qBACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/D,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,EAAE;qBACT,UAAU,CAAC;oBACV,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,CAAC,OAAO,CAAC;oBACf,SAAS,EAAE,WAAW;iBACvB,CAAC;qBACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAE7D,8EAA8E;gBAC9E,MAAM,kBAAkB,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;gBAC/D,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACpC,0DAA0D;oBAC1D,OAAO,GAAG,OAAO,CAAC,MAAM,CACtB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAChD,CAAC;gBACJ,CAAC;qBAAM,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC9B,MAAM,QAAQ,GAAG,EAAE,CAAC,kBAAkB,CACpC,kBAAkB,EAClB,KAAK,CAAC,IAAI,EACV,WAAW,EACX,cAAc,CACf,CAAC;oBACF,IAAI,QAAQ;wBAAE,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YACD,MAAM;QACR,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,+EAA+E;YAC/E,wEAAwE;YACxE,MAAM,SAAS,GAAG,KAAK,CAAC,cAAe,CAAC;YACxC,MAAM,WAAW,GAAG,GAAG,SAAS,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACjD,OAAO,GAAG,EAAE;iBACT,UAAU,CAAC;gBACV,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,CAAC,cAAc,CAAC;gBACtB,SAAS,EAAE,WAAW;aACvB,CAAC;iBACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7D,MAAM;QACR,CAAC;QAED,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,4DAA4D;YAC5D,sEAAsE;YACtE,sEAAsE;YACtE,OAAO,GAAG,EAAE;iBACT,UAAU,CAAC;gBACV,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,CAAC,QAAQ,CAAC;gBAChB,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,WAAW;aACrC,CAAC;iBACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7D,MAAM;QACR,CAAC;QAED,KAAK,yBAAyB,CAAC;QAC/B,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,kEAAkE;YAClE,2EAA2E;YAC3E,kEAAkE;YAClE,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACrE,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAExE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,EAAE,CAAC;gBACxC,OAAO,GAAG,EAAE;qBACT,UAAU,CAAC;oBACV,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,WAAW;oBACjB,SAAS;oBACT,SAAS,EAAE,IAAI;iBAChB,CAAC;qBACD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/D,CAAC;YAED,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrD,OAAO,GAAG,EAAE;qBACT,UAAU,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;qBACrD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC/D,CAAC;YACD,MAAM;QACR,CAAC;IACH,CAAC;IAED,2EAA2E;IAE3E,qEAAqE;IACrE,IACE,KAAK,CAAC,cAAc;QACpB,KAAK,CAAC,cAAc,CAAC,SAAS,GAAG,CAAC;QAClC,OAAO,CAAC,MAAM,GAAG,CAAC;QAClB,KAAK,CAAC,qBAAqB,EAC3B,CAAC;QACD,MAAM,aAAa,GAAG,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,KAAK,CAC5D,CAAC,EACD,KAAK,CAAC,cAAc,CAAC,SAAS,CAC/B,CAAC;QACF,MAAM,QAAQ,GAAG,EAAE,CAAC,kBAAkB,CACpC,aAAa,EACb,KAAK,CAAC,IAAI,EACV,KAAK,CAAC,qBAAqB,EAC3B,cAAc,CACf,CAAC;QACF,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,IACE,KAAK,CAAC,kBAAkB;QACxB,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC;QAC9B,OAAO,CAAC,MAAM,GAAG,CAAC,EAClB,CAAC;QACD,MAAM,OAAO,GAAG,KAAK,CAAC,kBAAkB,CAAC,cAAc,CAAC;QACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,OAAO;YAClB,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;YACrC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,CACpD,CAAC;QACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO,GAAG,QAAQ,CAAC;QACrB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5B,CAAC"}