sysml-diagram 0.45.0 → 0.45.1

package/out/main.js

@@ -166685,6 +166685,8 @@ function buildDiagramProperties(document2, selection2, context) {
           if (member)
             seen.add(member);
           const reference2 = !!member && !contains(owner, member);
+          if (reference2 && owner !== node)
+            continue;
           all.push({
             node: member,
             title: group.title,
@@ -170867,7 +170869,7 @@ var SysmlDiagramModelProvider = class _SysmlDiagramModelProvider {
       redefinitions: propertyRedefinitions,
       qualifiedName: (node) => editableQualifiedName(node, true),
       owners: (node) => this.inheritedFeatureOwnersOf(node, this.localIndex(ast_utils_exports.getDocument(node).parseResult.value), /* @__PURE__ */ new Set(), propertyRedefinitions),
-      compartments: (node, visit) => this.compartmentsFor(node, uri, this.localIndex(ast_utils_exports.getDocument(node).parseResult.value), true, false, visit) ?? [],
+      compartments: (node, visit) => this.compartmentsFor(node, uri, this.localIndex(ast_utils_exports.getDocument(node).parseResult.value), true, false, visit, true) ?? [],
       type: (node) => {
         if (node.$type === "AcceptNode")
           return node.type?.$refText;
@@ -171914,10 +171916,20 @@ var SysmlDiagramModelProvider = class _SysmlDiagramModelProvider {
   /** The semantic target path of a referencing perform/exhibit. Anonymous
    *  shorthand stores it in `name`/`chainSegs`; the named issue-217 form stores
    *  it as a `references` relationship after the local occurrence name. */
-  behaviorReferenceSegments(stmt) {
+  behaviorReferenceSegments(stmt, resolver = this.featurePaths) {
     const relationships = stmt.relationships ?? [];
     const reference = relationships.find((relationship) => (relationship.kind === "references" || relationship.kind === "::>") && (relationship.targets?.length ?? 0) > 0);
-    return reference ? this.featurePaths.resolvePropertyPath(reference, "targets").segments : this.featurePaths.resolveDeclarationPath(stmt).segments;
+    return reference ? resolver.resolvePropertyPath(reference, "targets").segments : resolver.resolveDeclarationPath(stmt).segments;
+  }
+  /** issue #191 — the state an `exhibit` claim names. The document-local walk
+   *  answers first; the workspace resolver then follows imports into another
+   *  file, which Properties needs and the per-document diagrams do not. */
+  exhibitTargetOf(stmt, index2) {
+    const local = this.performTargetOf(stmt, index2);
+    if (local || !this.shared)
+      return local;
+    const target = this.behaviorReferenceSegments(stmt, this.annotationPathResolver(stmt)).at(-1)?.target;
+    return target && target !== stmt && !this.referencesBehavior(target) ? target : void 0;
   }
   /** `perform <path>` has no local occurrence name. `perform action <name>`
    *  does, including the named `references <path>` form used when an explicit
@@ -172174,6 +172186,92 @@ var SysmlDiagramModelProvider = class _SysmlDiagramModelProvider {
     cache.performClaims = claims;
     return claims;
   }
+  /** issue #191 — every `exhibit` claim of one document, by the state it
+   *  exhibits. A declaring `exhibit state s : S;` exhibits its own usage; a
+   *  referencing `exhibit s;` exhibits the state its path resolves to. A state
+   *  definition is also exhibited through the usages it types. */
+  exhibitClaimsByTarget(root4) {
+    const cache = this.perParse(root4);
+    if (cache.exhibitClaims?.epoch === this.indexEpoch)
+      return cache.exhibitClaims.claims;
+    const claims = /* @__PURE__ */ new Map();
+    const index2 = this.localIndex(root4);
+    const push2 = (target, claim) => {
+      const existing = claims.get(target);
+      if (!existing)
+        claims.set(target, [claim]);
+      else if (!existing.includes(claim))
+        existing.push(claim);
+    };
+    for (const node of this.rootContents(root4)) {
+      if (!isExhibitStateDecl(node))
+        continue;
+      const target = this.referencesBehavior(node) ? this.exhibitTargetOf(node, index2) : node;
+      if (!target || target !== node && this.referencesBehavior(target))
+        continue;
+      push2(target, node);
+      const definition = target.isDef === true ? void 0 : this.resolveType(target, index2);
+      if (definition && isStateDecl(definition) && definition.isDef === true)
+        push2(definition, node);
+    }
+    cache.exhibitClaims = { epoch: this.indexEpoch, claims };
+    return claims;
+  }
+  // REQ-182 — Compartment inventory
+  // issue #191 — `exhibit states`, `exhibits`, and `exhibited by`.
+  // The forward rows are the owner's own `exhibit` members: a declaring one is
+  // an exhibit state usage, a referencing one names a state declared elsewhere.
+  // The reverse rows read every workspace document, so a claim in another file
+  // still lists its exhibitor. Rows are sourced from the claim, so each one
+  // opens the exact `exhibit` line even when its target is not drawn.
+  addExhibitCompartments(node, members, index2, uri, add, include) {
+    const exhibits = members.filter((m) => isExhibitStateDecl(m) && include(m));
+    const item = (m, text) => ({ text, source: sourceOf2(m, uri) });
+    add("exhibit states", exhibits.filter((m) => !this.isAnonymousBehaviorReference(m)).map((m) => {
+      const declared = this.featureText(m);
+      if (!this.referencesBehavior(m))
+        return item(m, declared);
+      const referenced = this.behaviorReferenceText(m);
+      const unresolved = this.exhibitTargetOf(m, index2) ? "" : " (unresolved)";
+      return item(m, `${declared} references ${referenced}${unresolved}`);
+    }));
+    add("exhibits", exhibits.filter((m) => this.isAnonymousBehaviorReference(m)).map((m) => {
+      const referenced = this.behaviorReferenceText(m) || this.featureText(m);
+      return item(m, this.exhibitTargetOf(m, index2) ? referenced : `${referenced} (unresolved)`);
+    }));
+    if (!isStateDecl(node) && !isExhibitStateDecl(node))
+      return;
+    const roots = /* @__PURE__ */ new Set([this.documentRootOf(node)]);
+    for (const document2 of this.shared?.workspace.LangiumDocuments.all ?? []) {
+      if (isLibraryDocument(document2))
+        continue;
+      const root4 = document2.parseResult?.value;
+      if (root4)
+        roots.add(root4);
+    }
+    const scope = qnameOf(this.packageScopeOf(node));
+    const exhibitorName = (owner) => {
+      const qualified = qnameOf(owner);
+      if (!qualified)
+        return nameOf3(owner) ?? "?";
+      return scope && qualified.startsWith(`${scope}::`) ? qualified.slice(scope.length + 2) : qualified;
+    };
+    const rows = [];
+    const seen = /* @__PURE__ */ new Set();
+    for (const root4 of roots)
+      for (const claim of this.exhibitClaimsByTarget(root4).get(node) ?? []) {
+        const owner = this.declaringOwnerOf(claim);
+        if (!owner || owner === node)
+          continue;
+        const text = exhibitorName(owner);
+        if (seen.has(text))
+          continue;
+        seen.add(text);
+        const claimUri = ast_utils_exports.getDocument(claim).uri.toString();
+        rows.push({ text, source: sourceOf2(claim === node ? owner : claim, claimUri) });
+      }
+    add("exhibited by", rows);
+  }
   isSwimlaneClaim(member, index2) {
     if (member.$type !== "PerformStmt")
       return false;
@@ -179549,7 +179647,7 @@ ${bodySource.$cstNode.text}` : declarationText;
     }
     return inherited;
   }
-  compartmentsFor(node, uri, index2, featureRows = false, includeInherited = true, visitTitle) {
+  compartmentsFor(node, uri, index2, featureRows = false, includeInherited = true, visitTitle, propertiesOnly = false) {
     const writtenMembers = membersOf(node);
     const members = writtenMembers.map((m) => this.thenActionMemberNode(m) ?? m);
     const n = node;
@@ -179717,6 +179815,8 @@ ${bodySource.$cstNode.text}` : declarationText;
         return true;
       }));
     }
+    if (propertiesOnly)
+      this.addExhibitCompartments(node, members, index2, uri, add, isNonVariantMember);
     add("concerns", usages(isConcernDecl).map((m) => item(m)));
     add("viewpoints", usages(isViewpointDecl).map((m) => item(m)));
     add("exposes", members.filter((m) => m.$type === "ExposeMember").flatMap((m) => (m.paths ?? []).map((path10) => item(path10, this.featurePath(path10) ?? (path10.$cstNode?.text ?? "").replace(/\s+/g, " ").trim()))));
@@ -222697,7 +222797,7 @@ async function runExport(command) {
 }
 
 // src/main.ts
-var VERSION2 = true ? "0.45.0" : "dev";
+var VERSION2 = true ? "0.45.1" : "dev";
 function display(file) {
   const rel2 = path9.relative(process.cwd(), file);
   return rel2 && !rel2.startsWith("..") ? rel2.split(path9.sep).join("/") : file;