[net] addTransition

Author: xieyuheng

TODO.md

@@ -1,7 +1,5 @@
 # net
 
-[net] addTransition
-
 [connect] connectTransitionToPlaces(net: Net, transition: Transition, place: Place)
 
 [run] run

src/lang/net/addPlace.ts

@@ -6,7 +6,7 @@ import { nodeKey } from "../node/nodeKey"
 import { Place } from "../place"
 import { Value } from "../value"
 
-export function addPlace(net: Net, mod: Mod, name: string, t: Value): Node {
+export function addPlace(net: Net, mod: Mod, name: string, t: Value): Place {
   const modId = mod.url.href
   const id = createNodeId(name)
 

src/lang/net/addTransition.ts

@@ -0,0 +1,37 @@
+import { Mod } from "../mod"
+import { Net } from "../net"
+import { createNodeId } from "../node/createNodeId"
+import { nodeKey } from "../node/nodeKey"
+import { Parameter } from "../parameter"
+import { Transition } from "../transition"
+
+export function addTransition(
+  net: Net,
+  mod: Mod,
+  name: string,
+  inputParameters: Array<Parameter>,
+  outputParameters: Array<Parameter>,
+): Transition {
+  const modId = mod.url.href
+  const id = createNodeId(name)
+
+  const transition: Transition = {
+    "@type": "Value",
+    "@kind": "Transition",
+    modId,
+    id,
+    name,
+  }
+
+  net.transitionEntries.set(nodeKey(transition), {
+    modId,
+    id,
+    name,
+    inputParameters,
+    outputParameters,
+    inputs: [],
+    outputs: [],
+  })
+
+  return transition
+}

src/lang/net/index.ts

@@ -1,3 +1,4 @@
 export * from "./Net"
 export * from "./createNet"
 export * from "./addPlace"
+export * from "./addTransition"