@tsplc/compiler 0.0.0-stage → 0.1.0

package/dist/elaborate-capture.js

@@ -0,0 +1,118 @@
+// @bun
+// packages/compiler/src/frontend/elaborate/capture.ts
+var {plugin } = globalThis.Bun;
+import { readFileSync, realpathSync } from "fs";
+var request = JSON.parse(readFileSync(process.argv[2], "utf8"));
+var real = new Map(request.files.map((file) => [realpathSync(file), file]));
+var runtime = new Set(real.keys());
+var exportName = "__tsplcCapture";
+var bindings = (source, names) => `${source}
+;export const ${exportName} = { values: { ${names.values.map((name) => `${JSON.stringify(name)}: () => ${name}`).join(", ")} }, classes: { ${names.classes.map((name) => `${JSON.stringify(name)}: ${name}`).join(", ")} }, functions: { ${names.functions.map((name) => `${JSON.stringify(name)}: ${name}`).join(", ")} } };
+`;
+var servicePath = Symbol("tsplc service path");
+var service = (path) => new Proxy(function serviceProcedure() {}, {
+  get: (_, key) => key === servicePath ? path.join(".") : service([...path, String(key)]),
+  apply: () => {
+    throw new Error(`Setup code called the PLC service ${path.join(".")}.`);
+  }
+});
+plugin({
+  name: "tsplc-capture",
+  setup(build) {
+    build.onLoad({
+      filter: new RegExp(`^(${[...runtime].map((file) => file.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")).join("|")})$`)
+    }, ({ path }) => ({
+      contents: bindings(readFileSync(path, "utf8"), request.bindings[real.get(path)]),
+      loader: "ts"
+    }));
+    build.module("@tsplc/compiler/clock", () => ({
+      contents: "export const now = () => 0;",
+      loader: "js"
+    }));
+    build.module("@tsplc/compiler/async", () => ({
+      contents: `export const createServiceClient = () => globalThis.__tsplcService([]);
+        const unsupported = (name) => () => { throw new Error(name + " cannot run during PLC setup."); };
+        export const sleep = unsupported("sleep"), fetch = unsupported("fetch"), cancelAsync = unsupported("cancelAsync");`,
+      loader: "js"
+    }));
+  }
+});
+globalThis.__tsplcService = service;
+var modules = new Map;
+for (const file of [request.entry, ...request.files.filter((file) => file !== request.entry)]) {
+  const loaded = await import(realpathSync(file));
+  modules.set(file, loaded[exportName]);
+}
+var classes = new Map;
+var functions = new Map;
+for (const [file, registry] of modules) {
+  for (const [name, value] of Object.entries(registry.classes))
+    classes.set(value, { file, name });
+  for (const [name, value] of Object.entries(registry.functions))
+    functions.set(value, { file, name });
+}
+var nodes = [];
+var ids = new Map;
+var capture = (value, where) => {
+  if (value === undefined)
+    return { kind: "undefined" };
+  if (value === null)
+    throw new Error(`${where}: null has no PLC value; use undefined.`);
+  if (typeof value === "number" || typeof value === "boolean" || typeof value === "string")
+    return { kind: typeof value, value };
+  if (typeof value === "bigint")
+    return { kind: "bigint", value: String(value) };
+  if (typeof value !== "object" && typeof value !== "function")
+    throw new Error(`${where}: a ${typeof value} has no PLC value.`);
+  const known = ids.get(value);
+  if (known !== undefined)
+    return { kind: "node", id: known };
+  const id = nodes.length;
+  ids.set(value, id);
+  nodes.push({ kind: "object", fields: {} });
+  if (typeof value === "function") {
+    const path = value[servicePath];
+    const named = functions.get(value) ?? classes.get(value);
+    if (path !== undefined)
+      nodes[id] = { kind: "service", path };
+    else if (named)
+      nodes[id] = { kind: "function", ...named };
+    else
+      throw new Error(`${where}: setup stored a function that is not a module-level function, so the PLC can't call it.`);
+    return { kind: "node", id };
+  }
+  if (Array.isArray(value)) {
+    nodes[id] = {
+      kind: "array",
+      items: value.map((item, index) => capture(item, `${where}[${index}]`))
+    };
+    return { kind: "node", id };
+  }
+  const prototype = Object.getPrototypeOf(value);
+  const owner = prototype === Object.prototype || prototype === null ? undefined : prototype.constructor;
+  const registered = owner && classes.get(owner);
+  if (owner && !registered)
+    throw new Error(`${where}: a ${owner.name} has no PLC layout; use a class from the program.`);
+  const fields = {};
+  for (const [key, field] of Object.entries(value))
+    fields[key] = capture(field, `${where}.${key}`);
+  nodes[id] = registered ? { kind: "instance", ...registered, fields } : { kind: "object", fields };
+  return { kind: "node", id };
+};
+var graph = { nodes, bindings: [] };
+for (const [file, registry] of modules)
+  for (const [name, read] of Object.entries(registry.values)) {
+    let value;
+    try {
+      value = read();
+    } catch {
+      continue;
+    }
+    if (typeof value === "function" && (functions.has(value) || classes.has(value)))
+      continue;
+    graph.bindings.push({ file, name, value: capture(value, name) });
+  }
+process.stdout.write(JSON.stringify(graph));
+
+//# debugId=BE55A01896BF8C3764756E2164756E21
+//# sourceMappingURL=elaborate-capture.js.map

package/dist/elaborate-capture.js.map

@@ -0,0 +1,10 @@
+{
+  "version": 3,
+  "sources": ["../src/frontend/elaborate/capture.ts"],
+  "sourcesContent": [
+    "/**\n * Runs a program's setup code in Bun and prints the object graph it builds: every module binding,\n * and every object, array, class instance and function reachable from them. The compiler runs\n * this in a subprocess (graph.ts), so setup code never shares the compiler's process.\n *\n * Usage: bun capture.ts <request.json>\n */\nimport { plugin } from \"bun\";\nimport { readFileSync, realpathSync } from \"node:fs\";\nimport type { CaptureRequest, CapturedGraph, CapturedValue, CapturedNode } from \"./graph.ts\";\n\nconst request: CaptureRequest = JSON.parse(readFileSync(process.argv[2]!, \"utf8\"));\n// Bun loads modules by their real path; the compiler may name them through a symlink.\nconst real = new Map(request.files.map((file) => [realpathSync(file), file]));\nconst runtime = new Set(real.keys());\nconst exportName = \"__tsplcCapture\";\n\n/** Top-level bindings a module declares, so captured state can be traced back to its source. */\nconst bindings = (source: string, names: CaptureRequest[\"bindings\"][string]) =>\n  `${source}\\n;export const ${exportName} = { values: { ${names.values\n    .map((name) => `${JSON.stringify(name)}: () => ${name}`)\n    .join(\", \")} }, classes: { ${names.classes\n    .map((name) => `${JSON.stringify(name)}: ${name}`)\n    .join(\", \")} }, functions: { ${names.functions\n    .map((name) => `${JSON.stringify(name)}: ${name}`)\n    .join(\", \")} } };\\n`;\n\nconst servicePath = Symbol(\"tsplc service path\");\n/** A service client: any property is a deeper procedure path, and its identity names that path. */\nconst service = (path: readonly string[]): unknown =>\n  new Proxy(function serviceProcedure() {}, {\n    get: (_, key) => (key === servicePath ? path.join(\".\") : service([...path, String(key)])),\n    apply: () => {\n      throw new Error(`Setup code called the PLC service ${path.join(\".\")}.`);\n    },\n  });\n\nplugin({\n  name: \"tsplc-capture\",\n  setup(build) {\n    build.onLoad(\n      {\n        filter: new RegExp(\n          `^(${[...runtime].map((file) => file.replace(/[.*+?^${}()|[\\]\\\\]/g, \"\\\\$&\")).join(\"|\")})$`,\n        ),\n      },\n      ({ path }) => ({\n        contents: bindings(readFileSync(path, \"utf8\"), request.bindings[real.get(path)!]!),\n        loader: \"ts\",\n      }),\n    );\n    // Setup runs before the first scan, so the clock reads 0 there.\n    build.module(\"@tsplc/compiler/clock\", () => ({\n      contents: \"export const now = () => 0;\",\n      loader: \"js\",\n    }));\n    build.module(\"@tsplc/compiler/async\", () => ({\n      contents: `export const createServiceClient = () => globalThis.__tsplcService([]);\n        const unsupported = (name) => () => { throw new Error(name + \" cannot run during PLC setup.\"); };\n        export const sleep = unsupported(\"sleep\"), fetch = unsupported(\"fetch\"), cancelAsync = unsupported(\"cancelAsync\");`,\n      loader: \"js\",\n    }));\n  },\n});\n(globalThis as { __tsplcService?: unknown }).__tsplcService = service;\n\nconst modules = new Map<string, Record<string, Record<string, unknown>>>();\nfor (const file of [request.entry, ...request.files.filter((file) => file !== request.entry)]) {\n  const loaded = (await import(realpathSync(file))) as Record<string, unknown>;\n  modules.set(file, loaded[exportName] as Record<string, Record<string, unknown>>);\n}\n\nconst classes = new Map<unknown, { file: string; name: string }>();\nconst functions = new Map<unknown, { file: string; name: string }>();\nfor (const [file, registry] of modules) {\n  for (const [name, value] of Object.entries(registry.classes!)) classes.set(value, { file, name });\n  for (const [name, value] of Object.entries(registry.functions!))\n    functions.set(value, { file, name });\n}\n\nconst nodes: CapturedNode[] = [];\nconst ids = new Map<object, number>();\nconst capture = (value: unknown, where: string): CapturedValue => {\n  if (value === undefined) return { kind: \"undefined\" };\n  if (value === null) throw new Error(`${where}: null has no PLC value; use undefined.`);\n  if (typeof value === \"number\" || typeof value === \"boolean\" || typeof value === \"string\")\n    return { kind: typeof value, value } as CapturedValue;\n  if (typeof value === \"bigint\") return { kind: \"bigint\", value: String(value) };\n  if (typeof value !== \"object\" && typeof value !== \"function\")\n    throw new Error(`${where}: a ${typeof value} has no PLC value.`);\n  const known = ids.get(value);\n  if (known !== undefined) return { kind: \"node\", id: known };\n  const id = nodes.length;\n  ids.set(value, id);\n  nodes.push({ kind: \"object\", fields: {} });\n  if (typeof value === \"function\") {\n    const path = (value as { [servicePath]?: string })[servicePath];\n    const named = functions.get(value) ?? classes.get(value);\n    if (path !== undefined) nodes[id] = { kind: \"service\", path };\n    else if (named) nodes[id] = { kind: \"function\", ...named };\n    else\n      throw new Error(\n        `${where}: setup stored a function that is not a module-level function, so the PLC can't call it.`,\n      );\n    return { kind: \"node\", id };\n  }\n  if (Array.isArray(value)) {\n    nodes[id] = {\n      kind: \"array\",\n      items: value.map((item, index) => capture(item, `${where}[${index}]`)),\n    };\n    return { kind: \"node\", id };\n  }\n  const prototype = Object.getPrototypeOf(value);\n  const owner =\n    prototype === Object.prototype || prototype === null ? undefined : prototype.constructor;\n  const registered = owner && classes.get(owner);\n  if (owner && !registered)\n    throw new Error(`${where}: a ${owner.name} has no PLC layout; use a class from the program.`);\n  const fields: Record<string, CapturedValue> = {};\n  for (const [key, field] of Object.entries(value)) fields[key] = capture(field, `${where}.${key}`);\n  nodes[id] = registered ? { kind: \"instance\", ...registered, fields } : { kind: \"object\", fields };\n  return { kind: \"node\", id };\n};\n\nconst graph: CapturedGraph = { nodes, bindings: [] };\nfor (const [file, registry] of modules)\n  for (const [name, read] of Object.entries(registry.values!)) {\n    let value: unknown;\n    try {\n      value = (read as () => unknown)();\n    } catch {\n      continue; // A binding the module never initialized.\n    }\n    if (typeof value === \"function\" && (functions.has(value) || classes.has(value))) continue;\n    graph.bindings.push({ file, name, value: capture(value, name) });\n  }\nprocess.stdout.write(JSON.stringify(graph));\n"
+  ],
+  "mappings": ";;AAOA;AACA;AAGA,IAAM,UAA0B,KAAK,MAAM,aAAa,QAAQ,KAAK,IAAK,MAAM,CAAC;AAEjF,IAAM,OAAO,IAAI,IAAI,QAAQ,MAAM,IAAI,CAAC,SAAS,CAAC,aAAa,IAAI,GAAG,IAAI,CAAC,CAAC;AAC5E,IAAM,UAAU,IAAI,IAAI,KAAK,KAAK,CAAC;AACnC,IAAM,aAAa;AAGnB,IAAM,WAAW,CAAC,QAAgB,UAChC,GAAG;AAAA,gBAAyB,4BAA4B,MAAM,OAC3D,IAAI,CAAC,SAAS,GAAG,KAAK,UAAU,IAAI,YAAY,MAAM,EACtD,KAAK,IAAI,mBAAmB,MAAM,QAClC,IAAI,CAAC,SAAS,GAAG,KAAK,UAAU,IAAI,MAAM,MAAM,EAChD,KAAK,IAAI,qBAAqB,MAAM,UACpC,IAAI,CAAC,SAAS,GAAG,KAAK,UAAU,IAAI,MAAM,MAAM,EAChD,KAAK,IAAI;AAAA;AAEd,IAAM,cAAc,OAAO,oBAAoB;AAE/C,IAAM,UAAU,CAAC,SACf,IAAI,MAAM,SAAS,gBAAgB,GAAG,IAAI;AAAA,EACxC,KAAK,CAAC,GAAG,QAAS,QAAQ,cAAc,KAAK,KAAK,GAAG,IAAI,QAAQ,CAAC,GAAG,MAAM,OAAO,GAAG,CAAC,CAAC;AAAA,EACvF,OAAO,MAAM;AAAA,IACX,MAAM,IAAI,MAAM,qCAAqC,KAAK,KAAK,GAAG,IAAI;AAAA;AAE1E,CAAC;AAEH,OAAO;AAAA,EACL,MAAM;AAAA,EACN,KAAK,CAAC,OAAO;AAAA,IACX,MAAM,OACJ;AAAA,MACE,QAAQ,IAAI,OACV,KAAK,CAAC,GAAG,OAAO,EAAE,IAAI,CAAC,SAAS,KAAK,QAAQ,uBAAuB,MAAM,CAAC,EAAE,KAAK,GAAG,KACvF;AAAA,IACF,GACA,GAAG,YAAY;AAAA,MACb,UAAU,SAAS,aAAa,MAAM,MAAM,GAAG,QAAQ,SAAS,KAAK,IAAI,IAAI,EAAI;AAAA,MACjF,QAAQ;AAAA,IACV,EACF;AAAA,IAEA,MAAM,OAAO,yBAAyB,OAAO;AAAA,MAC3C,UAAU;AAAA,MACV,QAAQ;AAAA,IACV,EAAE;AAAA,IACF,MAAM,OAAO,yBAAyB,OAAO;AAAA,MAC3C,UAAU;AAAA;AAAA;AAAA,MAGV,QAAQ;AAAA,IACV,EAAE;AAAA;AAEN,CAAC;AACA,WAA4C,iBAAiB;AAE9D,IAAM,UAAU,IAAI;AACpB,WAAW,QAAQ,CAAC,QAAQ,OAAO,GAAG,QAAQ,MAAM,OAAO,CAAC,SAAS,SAAS,QAAQ,KAAK,CAAC,GAAG;AAAA,EAC7F,MAAM,SAAU,MAAa,oBAAa,IAAI;AAAA,EAC9C,QAAQ,IAAI,MAAM,OAAO,WAAsD;AACjF;AAEA,IAAM,UAAU,IAAI;AACpB,IAAM,YAAY,IAAI;AACtB,YAAY,MAAM,aAAa,SAAS;AAAA,EACtC,YAAY,MAAM,UAAU,OAAO,QAAQ,SAAS,OAAQ;AAAA,IAAG,QAAQ,IAAI,OAAO,EAAE,MAAM,KAAK,CAAC;AAAA,EAChG,YAAY,MAAM,UAAU,OAAO,QAAQ,SAAS,SAAU;AAAA,IAC5D,UAAU,IAAI,OAAO,EAAE,MAAM,KAAK,CAAC;AACvC;AAEA,IAAM,QAAwB,CAAC;AAC/B,IAAM,MAAM,IAAI;AAChB,IAAM,UAAU,CAAC,OAAgB,UAAiC;AAAA,EAChE,IAAI,UAAU;AAAA,IAAW,OAAO,EAAE,MAAM,YAAY;AAAA,EACpD,IAAI,UAAU;AAAA,IAAM,MAAM,IAAI,MAAM,GAAG,8CAA8C;AAAA,EACrF,IAAI,OAAO,UAAU,YAAY,OAAO,UAAU,aAAa,OAAO,UAAU;AAAA,IAC9E,OAAO,EAAE,MAAM,OAAO,OAAO,MAAM;AAAA,EACrC,IAAI,OAAO,UAAU;AAAA,IAAU,OAAO,EAAE,MAAM,UAAU,OAAO,OAAO,KAAK,EAAE;AAAA,EAC7E,IAAI,OAAO,UAAU,YAAY,OAAO,UAAU;AAAA,IAChD,MAAM,IAAI,MAAM,GAAG,YAAY,OAAO,yBAAyB;AAAA,EACjE,MAAM,QAAQ,IAAI,IAAI,KAAK;AAAA,EAC3B,IAAI,UAAU;AAAA,IAAW,OAAO,EAAE,MAAM,QAAQ,IAAI,MAAM;AAAA,EAC1D,MAAM,KAAK,MAAM;AAAA,EACjB,IAAI,IAAI,OAAO,EAAE;AAAA,EACjB,MAAM,KAAK,EAAE,MAAM,UAAU,QAAQ,CAAC,EAAE,CAAC;AAAA,EACzC,IAAI,OAAO,UAAU,YAAY;AAAA,IAC/B,MAAM,OAAQ,MAAqC;AAAA,IACnD,MAAM,QAAQ,UAAU,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK;AAAA,IACvD,IAAI,SAAS;AAAA,MAAW,MAAM,MAAM,EAAE,MAAM,WAAW,KAAK;AAAA,IACvD,SAAI;AAAA,MAAO,MAAM,MAAM,EAAE,MAAM,eAAe,MAAM;AAAA,IAEvD;AAAA,YAAM,IAAI,MACR,GAAG,+FACL;AAAA,IACF,OAAO,EAAE,MAAM,QAAQ,GAAG;AAAA,EAC5B;AAAA,EACA,IAAI,MAAM,QAAQ,KAAK,GAAG;AAAA,IACxB,MAAM,MAAM;AAAA,MACV,MAAM;AAAA,MACN,OAAO,MAAM,IAAI,CAAC,MAAM,UAAU,QAAQ,MAAM,GAAG,SAAS,QAAQ,CAAC;AAAA,IACvE;AAAA,IACA,OAAO,EAAE,MAAM,QAAQ,GAAG;AAAA,EAC5B;AAAA,EACA,MAAM,YAAY,OAAO,eAAe,KAAK;AAAA,EAC7C,MAAM,QACJ,cAAc,OAAO,aAAa,cAAc,OAAO,YAAY,UAAU;AAAA,EAC/E,MAAM,aAAa,SAAS,QAAQ,IAAI,KAAK;AAAA,EAC7C,IAAI,SAAS,CAAC;AAAA,IACZ,MAAM,IAAI,MAAM,GAAG,YAAY,MAAM,uDAAuD;AAAA,EAC9F,MAAM,SAAwC,CAAC;AAAA,EAC/C,YAAY,KAAK,UAAU,OAAO,QAAQ,KAAK;AAAA,IAAG,OAAO,OAAO,QAAQ,OAAO,GAAG,SAAS,KAAK;AAAA,EAChG,MAAM,MAAM,aAAa,EAAE,MAAM,eAAe,YAAY,OAAO,IAAI,EAAE,MAAM,UAAU,OAAO;AAAA,EAChG,OAAO,EAAE,MAAM,QAAQ,GAAG;AAAA;AAG5B,IAAM,QAAuB,EAAE,OAAO,UAAU,CAAC,EAAE;AACnD,YAAY,MAAM,aAAa;AAAA,EAC7B,YAAY,MAAM,SAAS,OAAO,QAAQ,SAAS,MAAO,GAAG;AAAA,IAC3D,IAAI;AAAA,IACJ,IAAI;AAAA,MACF,QAAS,KAAuB;AAAA,MAChC,MAAM;AAAA,MACN;AAAA;AAAA,IAEF,IAAI,OAAO,UAAU,eAAe,UAAU,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK;AAAA,MAAI;AAAA,IACjF,MAAM,SAAS,KAAK,EAAE,MAAM,MAAM,OAAO,QAAQ,OAAO,IAAI,EAAE,CAAC;AAAA,EACjE;AACF,QAAQ,OAAO,MAAM,KAAK,UAAU,KAAK,CAAC;",
+  "debugId": "BE55A01896BF8C3764756E2164756E21",
+  "names": []
+}