libpetri 1.8.5 → 2.1.0

package/dist/debug/index.js

@@ -1,7 +1,12 @@
+import {
+  eventInstancePrefix
+} from "../chunk-SXK2Z45Z.js";
 import {
   dotExport,
+  instancePrefixOf,
+  parentOf,
   sanitize
-} from "../chunk-B2D5DMTO.js";
+} from "../chunk-B2CV5M3L.js";
 import "../chunk-FN773SSE.js";
 
 // src/debug/debug-command.ts
@@ -332,24 +337,69 @@ function buildNetStructure(session) {
   }
   const placeInfos = [];
   for (const [name, info] of places.data) {
-    placeInfos.push({
+    const placeInfo = {
       name,
       graphId: `p_${sanitize(name)}`,
       tokenType: info.tokenType,
       isStart: !info.hasIncoming,
       isEnd: !info.hasOutgoing,
-      isEnvironment: false
-    });
+      isEnvironment: false,
+      ...maybeInstancePrefix(name)
+    };
+    placeInfos.push(placeInfo);
   }
   const transitionInfos = [];
   for (const t of session.transitions) {
     transitionInfos.push({
       name: t.name,
-      graphId: `t_${sanitize(t.name)}`
+      graphId: `t_${sanitize(t.name)}`,
+      ...maybeInstancePrefix(t.name)
     });
   }
   return { places: placeInfos, transitions: transitionInfos };
 }
+function maybeInstancePrefix(name) {
+  const prefix = instancePrefixOf(name);
+  return prefix === void 0 ? {} : { instancePrefix: prefix };
+}
+function buildSubnetInstances(session) {
+  if (!session.places) {
+    return [];
+  }
+  const byPrefix = /* @__PURE__ */ new Map();
+  function ensure(prefix) {
+    let acc = byPrefix.get(prefix);
+    if (!acc) {
+      acc = { transitionNames: [], placeNames: [] };
+      byPrefix.set(prefix, acc);
+    }
+    return acc;
+  }
+  for (const t of session.transitions) {
+    const prefix = instancePrefixOf(t.name);
+    if (prefix !== void 0) {
+      ensure(prefix).transitionNames.push(t.name);
+    }
+  }
+  for (const name of session.places.data.keys()) {
+    const prefix = instancePrefixOf(name);
+    if (prefix !== void 0) {
+      ensure(prefix).placeNames.push(name);
+    }
+  }
+  const result = [];
+  for (const [prefix, acc] of byPrefix) {
+    const parent = parentOf(prefix);
+    const info = {
+      prefix,
+      transitionNames: acc.transitionNames,
+      exposedPlaceNames: acc.placeNames,
+      ...parent === void 0 ? {} : { parentPrefix: parent }
+    };
+    result.push(info);
+  }
+  return result;
+}
 var DebugSessionRegistry = class {
   _sessions = /* @__PURE__ */ new Map();
   _maxSessions;
@@ -576,6 +626,12 @@ function replayDelta(base, delta) {
 
 // src/debug/net-event-converter.ts
 function toEventInfo(event, compact = false) {
+  const info = toEventInfoInner(event, compact);
+  const prefix = eventInstancePrefix(event);
+  if (prefix === void 0) return info;
+  return { ...info, details: { ...info.details, instancePrefix: prefix } };
+}
+function toEventInfoInner(event, compact = false) {
   switch (event.type) {
     case "execution-started":
       return {
@@ -870,6 +926,7 @@ var DebugProtocolHandler = class {
     const events = eventStore.events();
     const computed = computeState(events);
     const structure = buildNetStructure(debugSession);
+    const subnetInstances = buildSubnetInstances(debugSession);
     this.send(client, {
       type: "subscribed",
       sessionId: cmd.sessionId,
@@ -880,7 +937,8 @@ var DebugProtocolHandler = class {
       enabledTransitions: computed.enabledTransitions,
       inFlightTransitions: computed.inFlightTransitions,
       eventCount: eventStore.eventCount(),
-      mode: cmd.mode
+      mode: cmd.mode,
+      subnetInstances
     });
     const fromIndex = cmd.fromIndex ?? 0;
     if (cmd.mode === "live") {