move id/ to node/

Author: xieyuheng

TODO.md

@@ -1,5 +1,9 @@
 # module system
 
+node/Node
+
+Mod -- has loader
+
 Place and Transition -- has modId
 
 Mod has definitions: Map<string, Definition>

src/lang/id/createId.ts

@@ -1,5 +1,6 @@
 import { Definition } from "../definition"
 
 export type Mod = {
+  url: URL
   definitions: Map<string, Definition>
 }

src/lang/id/globalIdCounters.ts

@@ -0,0 +1,10 @@
+export type Node = {
+  modId: string
+  id: string
+  name: string
+}
+
+export type NodeWithoutId = {
+  modId: string
+  name: string
+}

src/lang/id/index.ts

@@ -0,0 +1,12 @@
+import { globalNodeCounters } from "./globalNodeCounters"
+
+export function createNodeId(name: string): string {
+  const foundCounter = globalNodeCounters.get(name)
+  if (foundCounter === undefined) {
+    globalNodeCounters.set(name, 0)
+    return String(0)
+  } else {
+    globalNodeCounters.set(name, foundCounter + 1)
+    return String(foundCounter + 1)
+  }
+}

src/lang/mod/Mod.ts

@@ -0,0 +1,8 @@
+import { stringToSubscript } from "../../utils/stringToSubscript"
+import { Net } from "../net"
+import { Node } from "../node"
+
+export function formatNode(net: Net, node: Node): string {
+  const subscript = stringToSubscript(node.id.toString())
+  return `${node.name}${subscript}`
+}

src/lang/node/Node.ts

@@ -0,0 +1 @@
+export const globalNodeCounters: Map<string, number> = new Map()

src/lang/node/createNodeId.ts

@@ -0,0 +1,5 @@
+export * from "./Node"
+export * from "./formatNode"
+export * from "./nodeEqual"
+export * from "./nodeKey"
+export * from "./nodeKeyWithoutId"

src/lang/node/formatNode.ts

@@ -0,0 +1,5 @@
+import { Node } from "./Node"
+
+export function nodeEqual(x: Node, y: Node): boolean {
+  return x.name === y.name && x.id === y.id
+}

src/lang/node/globalNodeCounters.ts

@@ -0,0 +1,5 @@
+import { Node } from "./Node"
+
+export function nodeKey(node: Node): string {
+  return `${node.modId}/${node.name}#${node.id}`
+}

src/lang/node/index.ts

@@ -0,0 +1,5 @@
+import { NodeWithoutId } from "./Node"
+
+export function nodeKeyWithoutId(node: NodeWithoutId): string {
+  return `${node.modId}/${node.name}`
+}

src/lang/node/nodeEqual.ts

@@ -0,0 +1,5 @@
+export function arrayPickOut<A>(array: Array<A>, i: number): A {
+  const x = array[i]
+  array.splice(i, 1)
+  return x
+}

src/lang/node/nodeKey.ts

@@ -0,0 +1,15 @@
+export function arrayPopMany<A>(array: Array<A>, n: number): Array<A> {
+  const results: Array<A> = []
+  while (n > 0) {
+    const value = array.pop()
+    if (value === undefined) {
+      break
+    } else {
+      results.push(value)
+    }
+
+    n--
+  }
+
+  return results
+}

src/lang/node/nodeKeyWithoutId.ts

@@ -0,0 +1,3 @@
+import picocolors from "picocolors"
+
+export const colors = picocolors

src/utils/arrayPickOut.ts

@@ -0,0 +1,16 @@
+export function countStringOccurrences(
+  words: Array<string>,
+): Map<string, number> {
+  const counts = new Map()
+
+  for (const word of words) {
+    const count = counts.get(word)
+    if (count === undefined) {
+      counts.set(word, 1)
+    } else {
+      counts.set(word, count + 1)
+    }
+  }
+
+  return counts
+}

src/utils/arrayPopMany.ts

@@ -0,0 +1,14 @@
+import { resolve } from "node:path"
+
+export function createURL(path: string): URL {
+  if (
+    path.startsWith("http://") ||
+    path.startsWith("https://") ||
+    path.startsWith("https://")
+  ) {
+    return new URL(path)
+  }
+
+  const absolutePath = resolve(path)
+  return new URL(`file://${absolutePath}`)
+}

src/utils/colors.ts

@@ -0,0 +1,6 @@
+export function indent(text: string, indentation: string = "  "): string {
+  return text
+    .split("\n")
+    .map((line) => indentation + line)
+    .join("\n")
+}

src/utils/countStringOccurrences.ts

@@ -0,0 +1,9 @@
+export function manyTimes<A>(n: number, f: () => A): Array<A> {
+  const results: Array<A> = []
+  while (n > 0) {
+    n--
+    results.push(f())
+  }
+
+  return results
+}

src/utils/createURL.ts

@@ -0,0 +1,16 @@
+export function stringToSubscript(s: string): string {
+  return [...s].map((c) => numberSubscripts[c] || c).join("")
+}
+
+const numberSubscripts: Record<string, string> = {
+  "0": "₀",
+  "1": "₁",
+  "2": "₂",
+  "3": "₃",
+  "4": "₄",
+  "5": "₅",
+  "6": "₆",
+  "7": "₇",
+  "8": "₈",
+  "9": "₉",
+}