findTransition & findTransitionEntryOrFail

TODO.md

@@ -1,5 +1,3 @@
-findTransition & findTransitionEntryOrFail
-
 connectTransitionToInputs & connectTransitionToOutputs
 
 evaluateBlockStmt -- Connect

src/lang/net/findTransitionEntry.ts

@@ -0,0 +1,10 @@
+import { nodeKey } from "../node/nodeKey"
+import { Transition } from "../transition"
+import { Net, TransitionEntry } from "./Net"
+
+export function findTransitionEntry(
+  net: Net,
+  transition: Transition,
+): TransitionEntry | undefined {
+  return net.transitionEntries.get(nodeKey(transition))
+}

src/lang/net/findTransitionEntryOrFail.ts

@@ -0,0 +1,22 @@
+import { formatNode } from "../node"
+import { Transition } from "../transition"
+import { Net, TransitionEntry } from "./Net"
+import { findTransitionEntry } from "./findTransitionEntry"
+
+export function findTransitionEntryOrFail(
+  net: Net,
+  transition: Transition,
+): TransitionEntry {
+  const transitionEntry = findTransitionEntry(net, transition)
+  if (transitionEntry === undefined) {
+    throw new Error(
+      [
+        `[findTransitionEntryOrFail] I can not find nodeEntry for node.`,
+        ``,
+        `  transition: [${formatNode(net, transition)}]`,
+      ].join("\n"),
+    )
+  }
+
+  return transitionEntry
+}

src/lang/net/index.ts

@@ -4,3 +4,5 @@ export * from "./addPlace"
 export * from "./addTransition"
 export * from "./findPlaceEntry"
 export * from "./findPlaceEntryOrFail"
+export * from "./findTransitionEntry"
+export * from "./findTransitionEntryOrFail"