sysml-v2-lsp 0.40.0 → 0.41.0

package/dist/server/mcpServer.js

@@ -159233,7 +159233,10 @@ function splitQualifiedName(text) {
   return parts;
 }
 function joinQualifiedName(parts) {
-  return parts.map((part) => /::|['\\\r\n\t\b\f]|^\s|\s$/.test(part) ? quoteName(part) : part).join("::");
+  return parts.map((part) => /::|^:|:$|['\\\r\n\t\b\f]|^\s|\s$|^\$?$/.test(part) ? quoteName(part) : part).join("::");
+}
+function joinReference(chain, conjugated = false) {
+  return (conjugated ? "~" : "") + chain.map(({ global, names }) => (global ? "$::" : "") + names.map((name) => /\.|^~/.test(name) ? quoteName(name) : joinQualifiedName([name])).join("::")).join(".");
 }
 function readNameAt(text, start, allowIncomplete = false) {
   if (text[start] === "'") {
@@ -160461,12 +160464,44 @@ var RULE_INDEX_TO_KIND = /* @__PURE__ */ new Map([
 var BODY_RULE_INDICES = new Set(
   SysMLv2Parser.ruleNames.flatMap((ruleName, index2) => ruleName.endsWith("Body") ? [index2] : [])
 );
+var VALUE_DECLARATION_RULE_INDICES = /* @__PURE__ */ new Set([
+  SysMLv2Parser.RULE_usage,
+  SysMLv2Parser.RULE_usageCompletion,
+  SysMLv2Parser.RULE_actionUsageDeclaration,
+  SysMLv2Parser.RULE_performActionUsageDeclaration,
+  SysMLv2Parser.RULE_constraintUsageDeclaration,
+  SysMLv2Parser.RULE_interfaceUsageDeclaration,
+  SysMLv2Parser.RULE_flowDeclaration,
+  SysMLv2Parser.RULE_messageDeclaration
+]);
 var FLOW_PART_RULE_INDICES = /* @__PURE__ */ new Set([
   SysMLv2Parser.RULE_payloadFeatureMember,
   SysMLv2Parser.RULE_flowPayloadFeatureMember,
   SysMLv2Parser.RULE_flowEndMember,
   SysMLv2Parser.RULE_messageEventMember
 ]);
+var SPECIALIZATION_DECLARATION_RULE_INDICES = /* @__PURE__ */ new Set([
+  SysMLv2Parser.RULE_definition,
+  SysMLv2Parser.RULE_definitionDeclaration,
+  SysMLv2Parser.RULE_usage,
+  SysMLv2Parser.RULE_usageDeclaration,
+  SysMLv2Parser.RULE_featureDeclaration,
+  SysMLv2Parser.RULE_featureSpecializationPart,
+  SysMLv2Parser.RULE_actionUsageDeclaration,
+  SysMLv2Parser.RULE_performActionUsageDeclaration,
+  SysMLv2Parser.RULE_constraintUsageDeclaration,
+  SysMLv2Parser.RULE_interfaceUsageDeclaration,
+  SysMLv2Parser.RULE_allocationUsageDeclaration,
+  SysMLv2Parser.RULE_flowDeclaration,
+  SysMLv2Parser.RULE_messageDeclaration
+]);
+var REFERENCE_SHORTHAND_RULE_INDICES = /* @__PURE__ */ new Set([
+  SysMLv2Parser.RULE_variantReference,
+  SysMLv2Parser.RULE_performActionUsageDeclaration,
+  SysMLv2Parser.RULE_exhibitStateUsage,
+  SysMLv2Parser.RULE_framedConcernUsage,
+  SysMLv2Parser.RULE_includeUseCaseUsage
+]);
 var FLOW_DECLARATION_RULE_INDICES = [
   SysMLv2Parser.RULE_flowDeclaration,
   SysMLv2Parser.RULE_messageDeclaration
@@ -160572,6 +160607,50 @@ var PREFIX_EXTENSION_RULE_INDICES = /* @__PURE__ */ new Set([
   SysMLv2Parser.RULE_endFeaturePrefix
   // 86
 ]);
+var PREFIX_KEYWORD_TOKENS = /* @__PURE__ */ new Set([
+  SysMLv2Lexer.IN,
+  SysMLv2Lexer.OUT,
+  SysMLv2Lexer.INOUT,
+  SysMLv2Lexer.ABSTRACT,
+  SysMLv2Lexer.VARIATION,
+  SysMLv2Lexer.INDIVIDUAL,
+  SysMLv2Lexer.DERIVED,
+  SysMLv2Lexer.CONSTANT,
+  SysMLv2Lexer.REF,
+  SysMLv2Lexer.END,
+  SysMLv2Lexer.ORDERED,
+  SysMLv2Lexer.NONUNIQUE
+]);
+var PREFIX_PATH_RULE_INDICES = /* @__PURE__ */ new Set([
+  SysMLv2Parser.RULE_usagePrefix,
+  SysMLv2Parser.RULE_unextendedUsagePrefix,
+  SysMLv2Parser.RULE_basicUsagePrefix,
+  SysMLv2Parser.RULE_endUsagePrefix,
+  SysMLv2Parser.RULE_refPrefix,
+  SysMLv2Parser.RULE_featureDirection,
+  SysMLv2Parser.RULE_occurrenceUsagePrefix,
+  SysMLv2Parser.RULE_controlNodePrefix,
+  SysMLv2Parser.RULE_definitionPrefix,
+  SysMLv2Parser.RULE_basicDefinitionPrefix,
+  SysMLv2Parser.RULE_occurrenceDefinitionPrefix,
+  SysMLv2Parser.RULE_usage,
+  SysMLv2Parser.RULE_usageDeclaration,
+  SysMLv2Parser.RULE_featureDeclaration,
+  SysMLv2Parser.RULE_featureSpecializationPart,
+  SysMLv2Parser.RULE_multiplicityPart,
+  SysMLv2Parser.RULE_actionUsageDeclaration,
+  SysMLv2Parser.RULE_performActionUsageDeclaration,
+  SysMLv2Parser.RULE_constraintUsageDeclaration,
+  SysMLv2Parser.RULE_interfaceUsageDeclaration,
+  SysMLv2Parser.RULE_allocationUsageDeclaration,
+  SysMLv2Parser.RULE_flowDeclaration,
+  SysMLv2Parser.RULE_messageDeclaration
+]);
+var OCCURRENCE_USAGE_ELEMENT_RULE_INDICES = /* @__PURE__ */ new Set([
+  SysMLv2Parser.RULE_occurrenceUsageElement,
+  SysMLv2Parser.RULE_structureUsageElement,
+  SysMLv2Parser.RULE_behaviorUsageElement
+]);
 var TYPE_SPECIALIZATION_RULE_INDICES = /* @__PURE__ */ new Set([
   SysMLv2Parser.RULE_specialization,
   // 66
@@ -161406,6 +161485,9 @@ var SymbolTable = class {
     const typeName = typeNames[0];
     const documentation = this.extractDocumentation(ctx2);
     const visibility = this.extractVisibility(ctx2);
+    const featureValue = this.extractFeatureValue(ctx2);
+    const prefixKeywords = this.extractPrefixKeywords(ctx2);
+    const ownedSpecializations = this.extractOwnedSpecializations(ctx2);
     const { multiplicity, multiplicityRange } = isUsage(kind) ? this.extractMultiplicity(ctx2) : {};
     const metadataAnnotations = this.extractPrefixMetadataAnnotations(ctx2);
     const isView = kind === "view" /* ViewUsage */ || kind === "view def" /* ViewDef */;
@@ -161438,6 +161520,9 @@ var SymbolTable = class {
       namingReference,
       documentation,
       visibility,
+      featureValue,
+      prefixKeywords: prefixKeywords.length > 0 ? prefixKeywords : void 0,
+      ownedSpecializations: ownedSpecializations.length > 0 ? ownedSpecializations : void 0,
       source: transition?.source,
       target: transition?.target,
       flowDetails,
@@ -161821,7 +161906,23 @@ var SymbolTable = class {
    * between two of them (`connect a.p to b.p`, `connection : Conn`).
    */
   declarationText(ctx2) {
-    const tokens = this.declarationTokens(ctx2);
+    return this.tokensText(this.declarationTokens(ctx2));
+  }
+  /** Every token of `ctx`, in source order: a whole expression, bodies and `;` included. */
+  subtreeTokens(ctx2, tokens = []) {
+    for (let i = 0; i < ctx2.getChildCount(); i++) {
+      const child = ctx2.getChild(i);
+      if (child instanceof TerminalNode) {
+        if (child.symbol.tokenIndex >= 0) tokens.push(child.symbol);
+      } else if (child instanceof ParserRuleContext) this.subtreeTokens(child, tokens);
+    }
+    return tokens;
+  }
+  /**
+   * Tokens joined as written, with one space wherever the source has
+   * whitespace or a comment between two of them.
+   */
+  tokensText(tokens) {
     let text = "";
     tokens.forEach((token, i) => {
       if (i > 0 && token.start > tokens[i - 1].stop + 1) text += " ";
@@ -161927,6 +162028,139 @@ var SymbolTable = class {
     }
     return void 0;
   }
+  /**
+   * `ctx`'s own feature value (SysML 7.13.4, 8.2.2.6.2 `ValuePart`, `FeatureValue`):
+   * its expression as written, and whether it is a default (`default`) and an
+   * initial (`:=`) value. Never a nested element's value; a cross subsetting
+   * (`=> x`) is not a value. The expression is the whole `OwnedExpression`,
+   * expression bodies included, with whitespace and comments as one space.
+   */
+  extractFeatureValue(ctx2) {
+    const featureValueCtx = this.findOwnValuePart(ctx2)?.getRuleContext(0, FeatureValueContext);
+    const expression = featureValueCtx?.ownedExpression();
+    const text = expression && this.tokensText(this.subtreeTokens(expression));
+    if (!featureValueCtx || !text) return void 0;
+    return {
+      expression: text,
+      isDefault: featureValueCtx.DEFAULT() !== null,
+      isInitial: featureValueCtx.COLON_EQ() !== null
+    };
+  }
+  /**
+   * `ctx`'s own `ValuePart`: a direct child of its element rule, or of one of
+   * its declaration rules (`VALUE_DECLARATION_RULE_INDICES`). Never one of an
+   * inline-owned element, e.g. a transition's accept payload or effect action.
+   */
+  findOwnValuePart(ctx2) {
+    for (let i = 0; i < ctx2.getChildCount(); i++) {
+      const child = ctx2.getChild(i);
+      if (!(child instanceof ParserRuleContext)) continue;
+      if (child.ruleIndex === SysMLv2Parser.RULE_valuePart) return child;
+      if (!VALUE_DECLARATION_RULE_INDICES.has(child.ruleIndex)) continue;
+      const valuePart = this.findOwnValuePart(child);
+      if (valuePart) return valuePart;
+    }
+    return void 0;
+  }
+  /**
+   * The specializations of `ctx`'s own declaration, one per target in written
+   * order, read only from its `FeatureSpecialization`s (SysML v2 8.2.2.6.2),
+   * `SubclassificationPart` (8.2.2.6.1) and a shorthand's reference
+   * (`perform a`, `REFERENCE_SHORTHAND_RULE_INDICES`), reached through
+   * `SPECIALIZATION_DECLARATION_RULE_INDICES`.
+   */
+  extractOwnedSpecializations(ctx2) {
+    const specializations = [];
+    const add = (kind, targets, notation) => {
+      for (const targetCtx of targets) {
+        const target = targetCtx && this.specializationTarget(targetCtx);
+        if (target) specializations.push(notation ? { kind, target, notation: notation.getText() } : { kind, target });
+      }
+    };
+    const visit2 = (node2) => {
+      for (let i = 0; i < node2.getChildCount(); i++) {
+        const child = node2.getChild(i);
+        if (child instanceof FeatureSpecializationContext) {
+          const typings = child.typings();
+          const subsettings = child.subsettings();
+          const references = child.references();
+          const crosses = child.crosses();
+          const redefinitions = child.redefinitions();
+          if (typings) {
+            const typedBy = typings.typedBy();
+            add("typing", [typedBy?.featureTyping(), ...typings.featureTyping()].map((typing) => typing && (typing.ownedFeatureTyping() ?? typing.conjugatedPortTyping())));
+          } else if (subsettings) {
+            const subsets = subsettings.subsets();
+            add("subsetting", [subsets?.ownedSubsetting(), ...subsettings.ownedSubsetting()], subsets && (subsets.COLON_GT() ?? subsets.SUBSETS()));
+          } else if (references) {
+            add("referenceSubsetting", [references.ownedReferenceSubsetting()], references.COLON_COLON_GT() ?? references.REFERENCES());
+          } else if (crosses) {
+            add("crossSubsetting", [crosses.ownedCrossSubsetting()], crosses.FAT_ARROW() ?? crosses.CROSSES());
+          } else if (redefinitions) {
+            const redefines = redefinitions.redefines();
+            add("redefinition", [redefines?.ownedRedefinition(), ...redefinitions.ownedRedefinition()], redefines && (redefines.COLON_GT_GT() ?? redefines.REDEFINES()));
+          }
+        } else if (child instanceof OwnedReferenceSubsettingContext && REFERENCE_SHORTHAND_RULE_INDICES.has(node2.ruleIndex)) {
+          add("referenceSubsetting", [child]);
+        } else if (child instanceof SubclassificationPartContext) {
+          add("specializes", child.ownedSubclassification(), child.COLON_GT() ?? child.SPECIALIZES());
+        } else if (child instanceof ParserRuleContext && SPECIALIZATION_DECLARATION_RULE_INDICES.has(child.ruleIndex)) {
+          visit2(child);
+        }
+      }
+    };
+    visit2(ctx2);
+    return specializations;
+  }
+  /**
+   * The general type or feature a specialization's target rule names: its
+   * qualified name, or its feature chain (`v.engine`), with a global `$::`
+   * (KerML 7.2.2) and a conjugated port typing's `~` (`~P`, SysML 8.3.12.3).
+   * Its names are quoted as everywhere in the server (`joinReference`).
+   * Undefined for a target missing after a syntax error.
+   */
+  specializationTarget(ctx2) {
+    const chain = ctx2.getRuleContexts(QualifiedNameContext).map((qualifiedName) => ({
+      global: qualifiedName.DOLLAR() !== null,
+      names: qualifiedName.getRuleContexts(NameContext).map((name) => name.getText())
+    }));
+    if (chain.length === 0 || chain.some(({ names }) => names.length === 0 || names.some((name) => !name))) return void 0;
+    return joinReference(
+      chain.map(({ global, names }) => ({ global, names: names.map(unquoteName) })),
+      ctx2 instanceof ConjugatedPortTypingContext
+    );
+  }
+  /**
+   * The keywords of `ctx`'s own prefix and multiplicity part, in written
+   * order (`in`, `abstract`, `constant`, `ref`, `end`, `ordered`, ...),
+   * read only from the rules in `PREFIX_PATH_RULE_INDICES`.
+   */
+  extractPrefixKeywords(ctx2) {
+    const keywords = [];
+    const visit2 = (node2) => {
+      for (let i = 0; i < node2.getChildCount(); i++) {
+        const child = node2.getChild(i);
+        if (child instanceof TerminalNode) {
+          if (PREFIX_KEYWORD_TOKENS.has(child.symbol.type)) keywords.push(child.getText());
+          continue;
+        }
+        if (child instanceof ParserRuleContext && PREFIX_PATH_RULE_INDICES.has(child.ruleIndex)) visit2(child);
+      }
+    };
+    visit2(ctx2);
+    return this.isEndOccurrence(ctx2) ? ["end", ...keywords] : keywords;
+  }
+  /**
+   * Whether `ctx` is the occurrence usage of an `endOccurrenceUsageElement`
+   * (`end part a`), whose `end` precedes the usage's own rule.
+   */
+  isEndOccurrence(ctx2) {
+    let current = ctx2.parent;
+    while (current instanceof ParserRuleContext && OCCURRENCE_USAGE_ELEMENT_RULE_INDICES.has(current.ruleIndex)) {
+      current = current.parent;
+    }
+    return current !== ctx2.parent && current instanceof ParserRuleContext && current.ruleIndex === SysMLv2Parser.RULE_endOccurrenceUsageElement;
+  }
   /**
    * Extract the range of just the name token.
    */
@@ -162835,22 +163069,6 @@ function readWordAfterKeyword(text, afterPos, allowDots = false) {
   const start = skipWS(text, afterPos);
   return readIdent(text, start, allowDots);
 }
-function readCommaSeparatedIdents(text, pos) {
-  const names = [];
-  let p = skipWS(text, pos);
-  while (p < text.length) {
-    const [name, end] = readIdent(text, p);
-    if (!name) break;
-    names.push(name);
-    p = skipWS(text, end);
-    if (p < text.length && text[p] === ",") {
-      p = skipWS(text, p + 1);
-    } else {
-      break;
-    }
-  }
-  return names;
-}
 function symbolsById(symbols) {
   return new Map(symbols.map((s) => [s.symbolId, s]));
 }
@@ -162896,7 +163114,7 @@ var SysMLModelProvider = class {
       result.activityDiagrams = this.extractActivityDiagrams(symbolTable, uri, lines);
     }
     if (scopeSet.has("resolvedTypes")) {
-      result.resolvedTypes = this.extractResolvedTypes(symbolTable, uri, lines);
+      result.resolvedTypes = this.extractResolvedTypes(symbolTable, uri);
     }
     if (scopeSet.has("diagnostics")) {
       result.diagnostics = this.extractSemanticDiagnostics(symbolTable, uri);
@@ -162995,44 +163213,34 @@ var SysMLModelProvider = class {
     if (symbol2.viewRendering) {
       attributes["viewRendering"] = symbol2.viewRendering;
     }
-    const direction = this.extractDirection(symbol2, lines);
-    if (direction) {
-      attributes["direction"] = direction;
+    const prefix = prefixAttributesOf(symbol2);
+    if (prefix.direction) {
+      attributes["direction"] = prefix.direction;
     }
     if (symbol2.multiplicity) {
       attributes["multiplicity"] = symbol2.multiplicity;
     }
-    const modifier = this.extractModifier(symbol2, lines);
-    if (modifier) {
-      attributes["modifier"] = modifier;
+    if (prefix.modifier) {
+      attributes["modifier"] = prefix.modifier;
+    }
+    if (prefix.ordered) {
+      attributes["ordered"] = true;
+    }
+    if (prefix.nonunique) {
+      attributes["nonunique"] = true;
     }
     if (symbol2.visibility) {
       attributes["visibility"] = symbol2.visibility;
     }
-    const value = this.extractValue(symbol2, lines);
-    if (value) {
-      attributes["value"] = value;
+    if (symbol2.featureValue) {
+      attributes["value"] = symbol2.featureValue.expression;
+      if (symbol2.featureValue.isDefault) attributes["isDefault"] = true;
+      if (symbol2.featureValue.isInitial) attributes["isInitial"] = true;
     }
     const relationships = [];
-    for (const tn of symbol2.typeNames) {
-      relationships.push({
-        type: "typing",
-        source: symbol2.name,
-        sourceId: symbol2.symbolId,
-        target: tn
-      });
-    }
+    relationships.push(...this.specializationRelationships(symbol2));
     const flowRelationship = this.flowRelationship(symbol2);
     if (flowRelationship) relationships.push(flowRelationship);
-    const specializations = this.extractSpecializations(symbol2, lines);
-    for (const spec of specializations) {
-      relationships.push({
-        type: "specializes",
-        source: symbol2.name,
-        sourceId: symbol2.symbolId,
-        target: spec
-      });
-    }
     return {
       type: symbol2.kind,
       name: symbol2.name,
@@ -163044,6 +163252,20 @@ var SysMLModelProvider = class {
       relationships
     };
   }
+  /**
+   * The typings, subclassifications, subsettings and redefinitions of the
+   * element's own declaration, one per target in written order (SysML v2
+   * 8.2.2.6.1, 8.2.2.6.2).
+   */
+  specializationRelationships(symbol2) {
+    return (symbol2.ownedSpecializations ?? []).map(({ kind, target, notation }) => ({
+      type: kind,
+      source: symbol2.name,
+      sourceId: symbol2.symbolId,
+      target,
+      ...notation ? { notation } : {}
+    }));
+  }
   flowRelationship(symbol2) {
     const details = symbol2.flowDetails;
     if (!isFlowUsage(symbol2.kind) || !details?.source || !details.target) return void 0;
@@ -163077,25 +163299,7 @@ var SysMLModelProvider = class {
       if (symbol2.kind === "package" /* Package */ || symbol2.kind === "import" /* Import */ || symbol2.kind === "comment" /* Comment */ || symbol2.kind === "doc" /* Doc */) {
         continue;
       }
-      if (symbol2.typeNames.length > 0 && isUsage(symbol2.kind)) {
-        for (const tn of symbol2.typeNames) {
-          relationships.push({
-            type: "typing",
-            source: symbol2.name,
-            sourceId: symbol2.symbolId,
-            target: tn
-          });
-        }
-      }
-      const specializations = this.extractSpecializations(symbol2, lines);
-      for (const spec of specializations) {
-        relationships.push({
-          type: "specializes",
-          source: symbol2.name,
-          sourceId: symbol2.symbolId,
-          target: spec
-        });
-      }
+      relationships.push(...this.specializationRelationships(symbol2));
       if (symbol2.kind === "connection" /* ConnectionUsage */) {
         const connectionTargets = this.extractConnectionEndpoints(symbol2, lines);
         if (connectionTargets.length === 2) {
@@ -163588,41 +163792,30 @@ var SysMLModelProvider = class {
    * Because the LSP server doesn't yet have a full type resolver or library
    * index, we provide what's available from the parse tree.
    */
-  extractResolvedTypes(symbolTable, uri, lines) {
+  extractResolvedTypes(symbolTable, uri) {
     const symbols = symbolTable.getSymbolsForUri(uri);
     const result = {};
     for (const symbol2 of symbols) {
       const qualifiedName = symbol2.qualifiedName;
       if (qualifiedName === void 0) continue;
-      if (!isDefinition(symbol2.kind) && symbol2.typeNames.length === 0) {
+      if (!isDefinition(symbol2.kind) && !symbol2.ownedSpecializations) {
         continue;
       }
-      const specializes = [];
-      const specList = this.extractSpecializations(symbol2, lines);
-      for (const s of specList) {
-        if (!specializes.includes(s)) {
-          specializes.push(s);
-        }
-      }
-      for (const tn of symbol2.typeNames) {
-        if (!specializes.includes(tn)) {
-          specializes.push(tn);
-        }
-      }
+      const specializes = [...new Set((symbol2.ownedSpecializations ?? []).map(({ target }) => target))];
       const specializationChain = [...specializes];
       const children = this.getChildSymbols(symbol2, symbolTable);
       const features = children.filter((c) => isUsage(c.kind)).map((c) => {
-        const modifier = this.extractModifier(c, lines);
-        const direction = this.extractDirection(c, lines);
+        const prefix = prefixAttributesOf(c);
         return {
           name: c.name,
           kind: toMetaclassName(c.kind),
           type: c.typeNames.join(", ") || void 0,
           multiplicity: c.multiplicity,
-          direction,
+          direction: prefix.direction,
           visibility: c.visibility,
-          isDerived: modifier?.split(", ").includes("derived") ?? false,
-          isReadonly: modifier?.split(", ").includes("readonly") ?? false
+          isDerived: prefix.keywords.includes("derived"),
+          isConstant: prefix.isConstant,
+          isReadonly: prefix.isConstant
         };
       });
       result[qualifiedName] = {
@@ -163739,67 +163932,6 @@ var SysMLModelProvider = class {
     const endLine = Math.min(symbol2.range.end.line, lines.length - 1);
     return lines.slice(startLine, endLine + 1).join("\n");
   }
-  /** Extract port direction (in | out | inout) from source text. */
-  extractDirection(symbol2, lines) {
-    if (symbol2.kind !== "port" /* PortUsage */ && symbol2.kind !== "port def" /* PortDef */) {
-      return void 0;
-    }
-    const elementText = this.getElementText(symbol2, lines);
-    if (containsWord(elementText, "inout")) return "inout";
-    if (containsWord(elementText, "in")) return "in";
-    if (containsWord(elementText, "out")) return "out";
-    return void 0;
-  }
-  /** Extract modifiers (abstract, readonly, derived, etc.) from source text. */
-  extractModifier(symbol2, lines) {
-    const elementText = this.getElementText(symbol2, lines);
-    const modifiers = [];
-    if (containsWord(elementText, "abstract")) modifiers.push("abstract");
-    if (containsWord(elementText, "readonly")) modifiers.push("readonly");
-    if (containsWord(elementText, "derived")) modifiers.push("derived");
-    if (containsWord(elementText, "variation")) modifiers.push("variation");
-    if (containsWord(elementText, "individual")) modifiers.push("individual");
-    return modifiers.length > 0 ? modifiers.join(", ") : void 0;
-  }
-  /** Extract default/assigned value from source text. */
-  extractValue(symbol2, lines) {
-    if (symbol2.kind !== "attribute" /* AttributeUsage */) {
-      return void 0;
-    }
-    const elementText = this.getElementText(symbol2, lines);
-    const eqIdx = elementText.indexOf("=");
-    if (eqIdx < 0) return void 0;
-    let start = eqIdx + 1;
-    if (start < elementText.length && elementText[start] === "=") return void 0;
-    start = skipWS(elementText, start);
-    let end = start;
-    while (end < elementText.length) {
-      const ch = elementText[end];
-      if (ch === ";" || ch === "{" || ch === "}" || ch === "\n") break;
-      end++;
-    }
-    const val = elementText.substring(start, end).trim();
-    if (val && !val.includes("def") && val.length < 100) {
-      return val;
-    }
-    return void 0;
-  }
-  /** Extract all specialization targets from `:>` or `specializes` syntax. */
-  extractSpecializations(symbol2, lines) {
-    const elementText = this.getElementText(symbol2, lines);
-    const colonGtIdx = elementText.indexOf(":>");
-    if (colonGtIdx >= 0) {
-      if (colonGtIdx + 2 < elementText.length && elementText[colonGtIdx + 2] === ">") {
-      } else {
-        return readCommaSeparatedIdents(elementText, colonGtIdx + 2);
-      }
-    }
-    const specPositions = findWordPositions(elementText, "specializes");
-    if (specPositions.length > 0) {
-      return readCommaSeparatedIdents(elementText, specPositions[0].afterPos);
-    }
-    return [];
-  }
   /** Extract connection endpoints from `connect` syntax. */
   extractConnectionEndpoints(symbol2, lines) {
     const elementText = this.getElementText(symbol2, lines);
@@ -163863,16 +163995,6 @@ var SysMLModelProvider = class {
     const fromElement = { source: elementName, sourceId: element.symbolId };
     elementText = stripComments(elementText);
     const rels = [];
-    const subsetsPositions = findWordPositions(elementText, "subsets");
-    if (subsetsPositions.length > 0) {
-      const [target] = readWordAfterKeyword(elementText, subsetsPositions[0].afterPos);
-      if (target) rels.push({ type: "subsetting", ...fromElement, target });
-    }
-    const redefPositions = findWordPositions(elementText, "redefines");
-    if (redefPositions.length > 0) {
-      const [target] = readWordAfterKeyword(elementText, redefPositions[0].afterPos);
-      if (target) rels.push({ type: "redefinition", ...fromElement, target });
-    }
     const satisfyPositions = findWordPositions(elementText, "satisfy");
     if (satisfyPositions.length > 0) {
       let pos = skipWS(elementText, satisfyPositions[0].afterPos);
@@ -164166,6 +164288,21 @@ ${this.followingBranchStatements(symbol2, lines)}`;
     };
   }
 };
+var DIRECTIONS = /* @__PURE__ */ new Set(["in", "out", "inout"]);
+var MULTIPLICITY_KEYWORDS = /* @__PURE__ */ new Set(["ordered", "nonunique"]);
+function prefixAttributesOf(symbol2) {
+  const keywords = symbol2.prefixKeywords ?? [];
+  const direction = keywords.find((keyword) => DIRECTIONS.has(keyword));
+  const modifiers = keywords.filter((keyword) => !DIRECTIONS.has(keyword) && !MULTIPLICITY_KEYWORDS.has(keyword));
+  return {
+    keywords,
+    direction,
+    modifier: modifiers.length > 0 ? modifiers.join(", ") : void 0,
+    isConstant: keywords.includes("constant"),
+    ordered: keywords.includes("ordered"),
+    nonunique: keywords.includes("nonunique")
+  };
+}
 
 // server/src/providers/semanticValidator.ts
 var CONSTRAINT_KEYWORDS = /* @__PURE__ */ new Set([