Loader

Author: xieyuheng

TODO.md

@@ -1,14 +1,13 @@
 # module system
 
 Mod -- has loader
-
 Place and Transition -- has modId
 
 Mod has definitions: Map<string, Definition>
 
 # loader
 
-copy `loader/` from inet-js
+fix `Loader` -- parse and execute
 
 # command-line
 

src/lang/mod/createMod.ts

@@ -0,0 +1,31 @@
+import { Loader } from "../../loader"
+// import { defineBuiltins } from "../builtins/defineBuiltins"
+// import { createChecking } from "../checking/createChecking"
+// import { createEnv } from "../env/createEnv"
+// import { Stmt } from "../stmt"
+import { Mod } from "./Mod"
+
+export function createMod(options: {
+  url: URL
+  // text: string
+  // stmts: Array<Stmt>
+  // loader: Loader
+}): Mod {
+  const mod = {
+    // loader: options.loader,
+    url: options.url,
+    // text: options.text,
+    // stmts: options.stmts,
+    definitions: new Map(),
+    // builtins: new Map(),
+    // ruleEntries: new Map(),
+    // requiredMods: new Map(),
+  } as Mod
+
+  // mod.env = createEnv(mod)
+  // mod.checking = createChecking()
+
+  // defineBuiltins(mod)
+
+  return mod
+}

src/lang/mod/index.ts

@@ -1 +1,2 @@
 export * from "./Mod"
+export * from "./createMod"

src/loader/Loader.ts

@@ -0,0 +1,48 @@
+import { Fetcher } from "../fetcher"
+// import { execute } from "../lang/execute"
+import { Mod } from "../lang/mod"
+import { createMod } from "../lang/mod/createMod"
+// import { parseStmts } from "../lang/syntax"
+
+export class Loader {
+  loaded: Map<string, Mod> = new Map()
+  loading: Set<string> = new Set()
+  fetcher: Fetcher
+  onOutput = (output: string) => {
+    console.log(output)
+  }
+
+  constructor(options: { fetcher: Fetcher }) {
+    this.fetcher = options.fetcher
+  }
+
+  async load(url: URL, options?: { text?: string }): Promise<Mod> {
+    const found = this.loaded.get(url.href)
+    if (found !== undefined) return found
+
+    const text =
+      options?.text === undefined
+        ? await this.fetcher.fetchText(url)
+        : options.text
+
+    // const stmts = parseStmts(text)
+    const mod = createMod({
+      // loader: this,
+      url,
+      // text,
+      // stmts,
+    })
+
+    this.loading.add(url.href)
+
+    // for (const stmt of stmts) {
+    //   await execute(mod, stmt)
+    // }
+
+    this.loading.delete(url.href)
+
+    this.loaded.set(url.href, mod)
+
+    return mod
+  }
+}

src/loader/index.ts

@@ -0,0 +1 @@
+export * from "./Loader"