execute -- DefineTransition -- call evaluate and define

- Mod -- has env

Author: xieyuheng

TODO.md

@@ -1,10 +1,5 @@
-execute -- DefineTransition -- call evaluate and define
 execute -- Begin -- `createEnv` and run
 
-- [maybe] Mod -- has no env -- top level `evaluate`
-
-
-
 [connect] connectTransitionToInputs(net: Net, transition: Transition, places: Array<Place>)
 [connect] connectTransitionToOutputs(net: Net, transition: Transition, places: Array<Place>)
 

src/lang/env/createEnv.ts

@@ -0,0 +1,17 @@
+import { Env } from "../env"
+import { Mod } from "../mod"
+import { Net } from "../net"
+import { createNet } from "../net/createNet"
+
+export function createEnv(
+  mod: Mod,
+  options?: {
+    net?: Net
+  },
+): Env {
+  return {
+    mod,
+    net: options?.net || createNet(),
+    locals: new Map(),
+  }
+}

src/lang/env/index.ts

@@ -1 +1,2 @@
 export * from "./Env"
+export * from "./createEnv"

src/lang/execute/execute.ts

@@ -1,14 +1,36 @@
 import { appendReport } from "../errors"
-// import { evaluate, evaluateOne, evaluateParameters } from "../evaluate"
-import { Mod } from "../mod"
-// import { Mod, define } from "../mod"
+import { EvaluateOptions, evaluateParameters } from "../evaluate"
+import { Mod, define } from "../mod"
 import { Stmt } from "../stmt"
 
 export async function execute(mod: Mod, stmt: Stmt): Promise<null> {
   try {
+    const options: EvaluateOptions = {}
+
     switch (stmt["@kind"]) {
       case "DefineTransition": {
-        console.log("[execute / DefineTransition] TODO")
+        const inputParameters = evaluateParameters(
+          mod,
+          mod.env,
+          stmt.inputParameters,
+          options,
+        )
+        const outputParameters = evaluateParameters(
+          mod,
+          mod.env,
+          stmt.outputParameters,
+          options,
+        )
+        define(mod, stmt.name, {
+          "@type": "Definition",
+          "@kind": "TransitionDefinition",
+          mod,
+          name: stmt.name,
+          inputParameters,
+          outputParameters,
+          span: stmt.span,
+          body: stmt.body,
+        })
         return null
       }
 

src/lang/mod/Mod.ts

@@ -1,7 +1,9 @@
 import { Stmt } from "../stmt"
+import { Env } from "../env"
 import { Definition } from "../definition"
 
 export type Mod = {
+  env: Env
   url: URL
   text: string
   stmts: Array<Stmt>

src/lang/mod/createMod.ts

@@ -2,7 +2,7 @@ import { Loader } from "../../loader"
 import { Stmt } from "../stmt"
 // import { defineBuiltins } from "../builtins/defineBuiltins"
 // import { createChecking } from "../checking/createChecking"
-// import { createEnv } from "../env/createEnv"
+import { createEnv } from "../env/createEnv"
 import { Mod } from "./Mod"
 
 export function createMod(options: {
@@ -19,9 +19,9 @@ export function createMod(options: {
     definitions: new Map(),
     // builtins: new Map(),
     // requiredMods: new Map(),
-  } as Mod
+  } as unknown as Mod
 
-  // mod.env = createEnv(mod)
+  mod.env = createEnv(mod)
   // mod.checking = createChecking()
 
   // defineBuiltins(mod)