evaluateDefinition -- TransitionDefinition

- return add transition to current net, and return the transition value

TODO.md

@@ -1,14 +1,15 @@
-evaluateBlockStmt -- Connect
-evaluateBlockStmt -- LetPlace
-
 execute -- DefineTransition -- call evaluate and define
 execute -- Begin -- `createEnv` and run
 
 - [maybe] Mod -- has no env -- top level `evaluate`
 
-evaluateDefinition -- TransitionDefinition
 
-- return transition value
+
+[connect] connectTransitionToInputs(net: Net, transition: Transition, places: Array<Place>)
+[connect] connectTransitionToOutputs(net: Net, transition: Transition, places: Array<Place>)
+
+evaluateBlockStmt -- Connect
+evaluateBlockStmt -- LetPlace
 
 # builtins
 
@@ -17,9 +18,6 @@ evaluateDefinition -- TransitionDefinition
 
 # net
 
-[connect] connectTransitionToInputs(net: Net, transition: Transition, places: Array<Place>)
-[connect] connectTransitionToOutputs(net: Net, transition: Transition, places: Array<Place>)
-
 [run] run
 
 - everytime a marking changes,

src/lang/evaluate/evaluateDefinition.ts

@@ -1,5 +1,6 @@
 import { Definition } from "../definition"
 import { Env } from "../env"
+import { addTransition } from "../net"
 import { Value } from "../value"
 import { EvaluateOptions } from "./evaluate"
 
@@ -10,7 +11,13 @@ export function evaluateDefinition(
 ): Value {
   switch (definition["@kind"]) {
     case "TransitionDefinition": {
-      throw new Error("TODO")
+      return addTransition(
+        env.net,
+        env.mod,
+        definition.name,
+        definition.inputParameters,
+        definition.outputParameters,
+      )
     }
   }
 }