@danielsimonjr/sciengjs 0.8.0 → 0.10.0

package/dist/sysml/views.d.ts

@@ -0,0 +1,16 @@
+import { type SysmlModel } from "./parse.ts";
+/** The views of the design: block definition, internal block and requirements. */
+export type SysmlView = "bdd" | "ibd" | "requirements";
+/** The options of a SysML render after the check. */
+export interface SysmlOptions {
+    view: SysmlView;
+    root: string | undefined;
+    lenient: boolean;
+}
+/**
+ * Reads the options `view`, `root` and `lenient`. Another key, an unknown view, `ibd` without `root`, and `root` with
+ * another view reject with E_INPUT. An undefined value counts as an absent key.
+ */
+export declare function readSysmlOptions(options: Record<string, unknown>): SysmlOptions;
+/** Builds the DOT source of one view of a parsed model. */
+export declare function sysmlToDot(model: SysmlModel, options: SysmlOptions): string;

package/dist/sysml/views.js

@@ -0,0 +1,156 @@
+import { RenderError } from "../errors.js";
+import { escapeDot, escapeRecord } from "../graph/text.js";
+import { baseChain } from "./parse.js";
+const VIEWS = ["bdd", "ibd", "requirements"];
+/**
+ * Reads the options `view`, `root` and `lenient`. Another key, an unknown view, `ibd` without `root`, and `root` with
+ * another view reject with E_INPUT. An undefined value counts as an absent key.
+ */
+export function readSysmlOptions(options) {
+    const out = { view: "bdd", root: undefined, lenient: false };
+    for (const [key, value] of Object.entries(options)) {
+        if (value === undefined)
+            continue;
+        if (key === "lenient") {
+            if (typeof value !== "boolean")
+                throw new RenderError("E_INPUT", "option lenient must be true or false");
+            out.lenient = value;
+        }
+        else if (key === "view") {
+            if (!VIEWS.includes(value))
+                throw new RenderError("E_INPUT", "option view must be bdd, ibd or requirements");
+            out.view = value;
+        }
+        else if (key === "root") {
+            if (typeof value !== "string")
+                throw new RenderError("E_INPUT", "option root must be the name of a part def");
+            out.root = value;
+        }
+        else {
+            throw new RenderError("E_INPUT", `sysml takes no option ${key}`);
+        }
+    }
+    if (out.view === "ibd" && out.root === undefined)
+        throw new RenderError("E_INPUT", "the ibd view needs the option root");
+    if (out.view !== "ibd" && out.root !== undefined)
+        throw new RenderError("E_INPUT", "the option root is only for the ibd view");
+    return out;
+}
+/** Builds the DOT source of one view of a parsed model. */
+export function sysmlToDot(model, options) {
+    const out = ["digraph sysml {"];
+    if (options.view === "bdd")
+        bdd(model, out);
+    else if (options.view === "ibd")
+        ibd(model, options.root, out);
+    else
+        requirements(model, out);
+    out.push("}");
+    return out.join("\n") + "\n";
+}
+const q = (text) => `"${escapeDot(text)}"`;
+function attributeText(a) {
+    return `${a.name}${a.type === undefined ? "" : ` : ${a.type}`}${a.value === undefined ? "" : ` = ${a.value}`}`;
+}
+/** A record label: the head, then one compartment for each non-empty list of lines. */
+function record(head, ...compartments) {
+    const fields = [head, ...compartments.filter((c) => c.length > 0).map((c) => c.map((l) => `${escapeRecord(l)}\\l`).join(""))];
+    return `{${fields.join("|")}}`;
+}
+function defHead(kind, name) {
+    return `${kind}\\n${escapeRecord(name)}`;
+}
+function bdd(model, out) {
+    out.push("  rankdir=TB;", "  node [shape=record];");
+    for (const def of model.partDefs) {
+        const label = record(defHead("part def", def.name), def.attributes.map(attributeText), def.ports.map((p) => `port ${p.name} : ${p.type}`));
+        out.push(`  ${q(def.name)} [label="${label}"];`);
+    }
+    const plain = (kind, def) => {
+        out.push(`  ${q(def.name)} [label="${record(defHead(kind, def.name), def.attributes.map(attributeText))}"];`);
+    };
+    for (const def of model.portDefs)
+        plain("port def", def);
+    for (const def of model.interfaceDefs)
+        plain("interface def", def);
+    for (const def of model.partDefs) {
+        for (const part of def.parts) {
+            const name = part.multiplicity === undefined ? part.name : `${part.name} [${part.multiplicity}]`;
+            out.push(`  ${q(def.name)} -> ${q(part.type)} [dir=both, arrowtail=diamond, arrowhead=none, headlabel=${q(name)}];`);
+        }
+        if (def.base !== undefined)
+            out.push(`  ${q(def.name)} -> ${q(def.base)} [arrowhead=empty];`);
+    }
+}
+function chain(model, def) {
+    return baseChain(model.partDefs, def);
+}
+function ibd(model, rootName, out) {
+    const root = model.partDefs.find((d) => d.name === rootName);
+    if (root === undefined)
+        throw new RenderError("E_INPUT", `the option root: ${rootName} names no part def`);
+    const defs = chain(model, root);
+    out.push("  rankdir=LR;", "  subgraph cluster_root {", `    label=${q(root.name)};`);
+    for (const part of defs.flatMap((d) => d.parts)) {
+        const type = model.partDefs.find((d) => d.name === part.type);
+        const ports = chain(model, type).flatMap((d) => d.ports).map((p) => `<${p.name}> ${escapeRecord(p.name)}`);
+        const head = escapeRecord(`${part.name} : ${part.type}${part.multiplicity === undefined ? "" : ` [${part.multiplicity}]`}`);
+        const label = ports.length === 0 ? `{${head}}` : `{${head}|{${ports.join("|")}}}`;
+        out.push(`    ${q(`part:${part.name}`)} [shape=record, label="${label}"];`);
+    }
+    for (const port of defs.flatMap((d) => d.ports)) {
+        out.push(`    ${q(`port:${port.name}`)} [shape=box, label=${q(`${port.name} : ${port.type}`)}];`);
+    }
+    out.push("  }");
+    const end = (e) => e.part === undefined ? q(`port:${e.port}`) : `${q(`part:${e.part}`)}:${q(e.port)}`;
+    for (const c of defs.flatMap((d) => d.connections)) {
+        const label = c.name === undefined ? "" : `, label=${q(`${c.name} : ${c.def}`)}`;
+        out.push(`  ${end(c.from)} -> ${end(c.to)} [dir=none${label}];`);
+    }
+}
+function requirements(model, out) {
+    out.push("  rankdir=TB;");
+    const id = (address) => q(`req:${address}`);
+    const node = (address, label) => {
+        out.push(`  ${id(address)} [shape=record, label="${label}"];`);
+    };
+    const edges = [];
+    const usage = (r, owner) => {
+        const head = defHead("requirement", r.def === undefined ? r.name : `${r.name} : ${r.def}`);
+        node(r.address, record(head, r.attributes.map(attributeText)));
+        if (owner !== undefined)
+            edges.push(`  ${id(owner)} -> ${id(r.address)} [dir=both, arrowtail=odot, arrowhead=none];`);
+        if (r.def !== undefined)
+            edges.push(`  ${id(r.address)} -> ${id(r.def)} [style=dashed, arrowhead=normal];`);
+        for (const child of r.children)
+            usage(child, r.address);
+    };
+    const def = (d) => {
+        node(d.name, record(defHead("requirement def", d.name), d.attributes.map(attributeText)));
+        if (d.base !== undefined)
+            edges.push(`  ${id(d.name)} -> ${id(d.base)} [arrowhead=empty];`);
+        for (const child of d.children)
+            usage(child, d.name);
+    };
+    model.requirementDefs.forEach(def);
+    model.requirements.forEach((r) => usage(r, undefined));
+    const seen = new Set();
+    for (const s of model.satisfies) {
+        const element = q(`elem:${s.path}`);
+        if (!seen.has(s.path)) {
+            seen.add(s.path);
+            const [defName, partName] = s.path.split(".");
+            if (partName === undefined) {
+                out.push(`  ${element} [shape=record, label="${record(defHead("part def", defName))}"];`);
+            }
+            else {
+                const owner = model.partDefs.find((d) => d.name === defName);
+                const part = chain(model, owner).flatMap((d) => d.parts).find((p) => p.name === partName);
+                out.push(`  ${element} [shape=box, label=${q(`${part.name} : ${part.type}`)}];`);
+            }
+        }
+        edges.push(`  ${element} -> ${id(s.requirement)} [style=dashed, arrowhead=open, label="<<satisfy>>"];`);
+    }
+    out.push(...edges);
+}
+//# sourceMappingURL=views.js.map

package/dist/sysml/views.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"views.js","sourceRoot":"","sources":["../../src/sysml/views.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAC3D,OAAO,EAAE,SAAS,EAAuG,MAAM,YAAY,CAAC;AAY5I,MAAM,KAAK,GAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;AAEnE;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAgC;IAC/D,MAAM,GAAG,GAAiB,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC3E,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QACnD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,OAAO,KAAK,KAAK,SAAS;gBAAE,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,sCAAsC,CAAC,CAAC;YACzG,GAAG,CAAC,OAAO,GAAG,KAAK,CAAC;QACtB,CAAC;aAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,KAAkB,CAAC;gBAAE,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,8CAA8C,CAAC,CAAC;YAC1H,GAAG,CAAC,IAAI,GAAG,KAAkB,CAAC;QAChC,CAAC;aAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,4CAA4C,CAAC,CAAC;YAC9G,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,yBAAyB,GAAG,EAAE,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,oCAAoC,CAAC,CAAC;IACzH,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,0CAA0C,CAAC,CAAC;IAC/H,OAAO,GAAG,CAAC;AACb,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,UAAU,CAAC,KAAiB,EAAE,OAAqB;IACjE,MAAM,GAAG,GAAG,CAAC,iBAAiB,CAAC,CAAC;IAChC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;SACvC,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;QAAE,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,IAAK,EAAE,GAAG,CAAC,CAAC;;QAC3D,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAC/B,CAAC;AAED,MAAM,CAAC,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;AAE3D,SAAS,aAAa,CAAC,CAAY;IACjC,OAAO,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;AACjH,CAAC;AAED,uFAAuF;AACvF,SAAS,MAAM,CAAC,IAAY,EAAE,GAAG,YAAwB;IACvD,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9H,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;AACjC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,IAAY;IACzC,OAAO,GAAG,IAAI,MAAM,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,GAAG,CAAC,KAAiB,EAAE,GAAa;IAC3C,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,wBAAwB,CAAC,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3I,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,CAAC;IACnD,CAAC;IACD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,GAAa,EAAQ,EAAE;QAClD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC;IAChH,CAAC,CAAC;IACF,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ;QAAE,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACzD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,aAAa;QAAE,KAAK,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;IACnE,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACjC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,YAAY,GAAG,CAAC;YACjG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvH,CAAC;QACD,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAChG,CAAC;AACH,CAAC;AAED,SAAS,KAAK,CAAC,KAAiB,EAAE,GAAY;IAC5C,OAAO,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;AACxC,CAAC;AAED,SAAS,GAAG,CAAC,KAAiB,EAAE,QAAgB,EAAE,GAAa;IAC7D,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IAC7D,IAAI,IAAI,KAAK,SAAS;QAAE,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,oBAAoB,QAAQ,oBAAoB,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAChC,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,2BAA2B,EAAE,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAE,CAAC;QAC/D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3G,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,YAAY,GAAG,EAAE,CAAC,CAAC;QAC5H,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAClF,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,0BAA0B,KAAK,KAAK,CAAC,CAAC;IAC9E,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;QAChD,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,sBAAsB,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;IACpG,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChB,MAAM,GAAG,GAAG,CAAC,CAA6C,EAAU,EAAE,CACpE,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IACrF,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;QACnD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QACjF,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAiB,EAAE,GAAa;IACpD,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,OAAO,EAAE,CAAC,CAAC;IAC5D,MAAM,IAAI,GAAG,CAAC,OAAe,EAAE,KAAa,EAAQ,EAAE;QACpD,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,0BAA0B,KAAK,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC;IACF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,CAAc,EAAE,KAAyB,EAAQ,EAAE;QAChE,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QAC3F,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAI,KAAK,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC;QACtH,IAAI,CAAC,CAAC,GAAG,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;QAC5G,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,QAAQ;YAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC,CAAC;IACF,MAAM,GAAG,GAAG,CAAC,CAAiB,EAAQ,EAAE;QACtC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC,iBAAiB,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QAC1F,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC5F,KAAK,MAAM,KAAK,IAAI,CAAC,CAAC,QAAQ;YAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC;IACF,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACtB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACjB,MAAM,CAAC,OAAO,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO,0BAA0B,MAAM,CAAC,OAAO,CAAC,UAAU,EAAE,OAAQ,CAAC,CAAC,KAAK,CAAC,CAAC;YAC7F,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAE,CAAC;gBAC9D,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAE,CAAC;gBAC3F,GAAG,CAAC,IAAI,CAAC,KAAK,OAAO,sBAAsB,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC;YACnF,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,OAAO,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,uDAAuD,CAAC,CAAC;IAC1G,CAAC;IACD,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC;AACrB,CAAC"}

package/dist/tex/backend-pdf.d.ts

@@ -0,0 +1,3 @@
+import type { BackendOutput, WorkerJob } from "../worker/protocol.ts";
+/** Renders one tikz source to pdf: the SVG of the tex stage, then the pdf of that SVG in the browser stage. */
+export declare function render(request: WorkerJob["request"]): Promise<BackendOutput>;

package/dist/tex/backend-pdf.js

@@ -0,0 +1,10 @@
+import { sourceText } from "../graph/text.js";
+import { drawSvgToPdf } from "../mermaid/browser.js";
+import { renderTikzSvg } from "./stage.js";
+/** Renders one tikz source to pdf: the SVG of the tex stage, then the pdf of that SVG in the browser stage. */
+export async function render(request) {
+    const svg = await renderTikzSvg(sourceText(request.source), request.options, request.settings);
+    const draw = await drawSvgToPdf(svg.svg, request.settings);
+    return { bytes: draw.bytes, warnings: [...svg.warnings, ...draw.warnings] };
+}
+//# sourceMappingURL=backend-pdf.js.map

package/dist/tex/backend-pdf.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend-pdf.js","sourceRoot":"","sources":["../../src/tex/backend-pdf.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAErD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,+GAA+G;AAC/G,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,OAA6B;IACxD,MAAM,GAAG,GAAG,MAAM,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC/F,MAAM,IAAI,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC3D,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;AAC9E,CAAC"}

package/dist/tex/backend-png.d.ts

@@ -0,0 +1,6 @@
+import type { BackendOutput, WorkerJob } from "../worker/protocol.ts";
+/**
+ * Renders one tikz source to PNG: the SVG of the tex stage, then the raster stage. The option scale multiplies the pixel
+ * size. The worker calls this function for the tikz:png pair.
+ */
+export declare function render(request: WorkerJob["request"]): Promise<BackendOutput>;

package/dist/tex/backend-png.js

@@ -0,0 +1,19 @@
+import { MAX_SCALE } from "../browser/input.js";
+import { RenderError } from "../errors.js";
+import { readScale, svgDocumentToPng } from "../graph/backend-png.js";
+import { sourceText } from "../graph/text.js";
+import { renderTikzSvg } from "./stage.js";
+/**
+ * Renders one tikz source to PNG: the SVG of the tex stage, then the raster stage. The option scale multiplies the pixel
+ * size. The worker calls this function for the tikz:png pair.
+ */
+export async function render(request) {
+    const { scale: _scale, ...rest } = request.options;
+    const scale = readScale(request.options);
+    if (scale > MAX_SCALE)
+        throw new RenderError("E_INPUT", `option scale must not be more than ${MAX_SCALE}`);
+    const svg = await renderTikzSvg(sourceText(request.source), rest, request.settings);
+    const png = await svgDocumentToPng(svg.svg, request, scale);
+    return { bytes: png.bytes, warnings: [...svg.warnings, ...(png.warnings ?? [])] };
+}
+//# sourceMappingURL=backend-png.js.map

package/dist/tex/backend-png.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend-png.js","sourceRoot":"","sources":["../../src/tex/backend-png.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AAChD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,OAA6B;IACxD,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IACnD,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,KAAK,GAAG,SAAS;QAAE,MAAM,IAAI,WAAW,CAAC,SAAS,EAAE,sCAAsC,SAAS,EAAE,CAAC,CAAC;IAC3G,MAAM,GAAG,GAAG,MAAM,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpF,MAAM,GAAG,GAAG,MAAM,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;IAC5D,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;AACpF,CAAC"}

package/dist/tex/backend-svg.d.ts

@@ -0,0 +1,3 @@
+import type { BackendOutput, WorkerJob } from "../worker/protocol.ts";
+/** Renders one tikz source to SVG through the tex stage. The worker calls this function for the tikz:svg pair. */
+export declare function render(request: WorkerJob["request"]): Promise<BackendOutput>;

package/dist/tex/backend-svg.js

@@ -0,0 +1,8 @@
+import { sourceText } from "../graph/text.js";
+import { renderTikzSvg } from "./stage.js";
+/** Renders one tikz source to SVG through the tex stage. The worker calls this function for the tikz:svg pair. */
+export async function render(request) {
+    const result = await renderTikzSvg(sourceText(request.source), request.options, request.settings);
+    return { bytes: new TextEncoder().encode(result.svg), warnings: result.warnings };
+}
+//# sourceMappingURL=backend-svg.js.map

package/dist/tex/backend-svg.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"backend-svg.js","sourceRoot":"","sources":["../../src/tex/backend-svg.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE3C,kHAAkH;AAClH,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,OAA6B;IACxD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAClG,OAAO,EAAE,KAAK,EAAE,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;AACpF,CAAC"}

package/dist/tex/bundles.d.ts

@@ -0,0 +1,43 @@
+import type { NetworkPolicy } from "../config.ts";
+import type { BundleName } from "./detect.ts";
+/** One bundle of the engine package: its name, the file name on the download server, the pinned sha256 and the size. */
+export interface BundleEntry {
+    name: BundleName;
+    file: string;
+    sha256: string;
+    bytes: number;
+}
+/** The bundles of this build. `tools/tex/bundles.mjs` writes `bundles.json`, and CI fails when a built bundle differs from it. */
+export declare const BUNDLES: readonly BundleEntry[];
+/** The configuration values that the bundle manager reads. */
+export interface BundleSettings {
+    /** The folder of the cache. The bundles go in its `tex-bundles` folder. */
+    cacheDir: string;
+    /** The base URL of the bundles. The download URL of a bundle is this value and the file name. */
+    texBundleUrl: string;
+    /** The network rule. A download needs `tex-bundles` in it. */
+    allowNetwork: NetworkPolicy;
+    /** The time limit of one download, in milliseconds. */
+    timeoutMs: number;
+}
+/** The sub-folder of the cache folder for the bundles. */
+export declare const CACHE_SUBFOLDER = "tex-bundles";
+/** The path of a bundle in the cache. */
+export declare function cachePath(entry: BundleEntry, settings: Pick<BundleSettings, "cacheDir">): string;
+/** The download URL of a bundle. A base URL with no end slash gets one. */
+export declare function bundleUrl(entry: BundleEntry, settings: Pick<BundleSettings, "texBundleUrl">): string;
+/** Looks up a bundle of the list by name. A name that is not in the list is an internal error. */
+export declare function findBundle(name: BundleName, bundles?: readonly BundleEntry[]): BundleEntry;
+/**
+ * Returns the verified bytes of a bundle. The order is the cache, then the download.
+ * A cached file is hashed on every load. A cached file with a wrong hash is deleted, and the load goes on to the download.
+ * A download is allowed only when `allowNetwork` has `tex-bundles`. It goes to a temporary file in the cache folder,
+ * its hash and size are checked, and only then does a rename put it in place. A wrong hash deletes the temporary file and
+ * rejects with `E_INTEGRITY`, so a wrong file never stays in the cache. A bundle that is not cached, with the download not allowed,
+ * rejects with `E_STAGE_MISSING`.
+ */
+export declare function loadBundleBytes(entry: BundleEntry, settings: BundleSettings): Promise<Uint8Array>;
+/** Unpacks an SCTB1 container (see `tools/tex/bundles.mjs`) to a map from the tree name to the file bytes. */
+export declare function unpackBundle(bytes: Uint8Array): Map<string, Uint8Array>;
+/** Loads the named bundles and returns the files of each, in the order of the names. A name twice loads once. */
+export declare function loadBundles(names: readonly BundleName[], settings: BundleSettings, bundles?: readonly BundleEntry[]): Promise<Map<BundleName, Map<string, Uint8Array>>>;

package/dist/tex/bundles.js

@@ -0,0 +1,150 @@
+import { createHash, randomBytes } from "node:crypto";
+import { mkdir, readFile, rename, rm, writeFile } from "node:fs/promises";
+import path from "node:path";
+import { fileURLToPath } from "node:url";
+import { inflateRawSync } from "node:zlib";
+import { RenderError } from "../errors.js";
+import list from "./bundles.json" with { type: "json" };
+/** The bundles of this build. `tools/tex/bundles.mjs` writes `bundles.json`, and CI fails when a built bundle differs from it. */
+export const BUNDLES = list;
+/** The sub-folder of the cache folder for the bundles. */
+export const CACHE_SUBFOLDER = "tex-bundles";
+const MAGIC = "SCTB1\0\0\0";
+const sha256 = (b) => createHash("sha256").update(b).digest("hex");
+/** The path of a bundle in the cache. */
+export function cachePath(entry, settings) {
+    return path.join(settings.cacheDir, CACHE_SUBFOLDER, entry.file);
+}
+/** The download URL of a bundle. A base URL with no end slash gets one. */
+export function bundleUrl(entry, settings) {
+    const base = settings.texBundleUrl;
+    return `${base.endsWith("/") ? base : `${base}/`}${entry.file}`;
+}
+/** Looks up a bundle of the list by name. A name that is not in the list is an internal error. */
+export function findBundle(name, bundles = BUNDLES) {
+    const entry = bundles.find((b) => b.name === name);
+    if (entry === undefined)
+        throw new RenderError("E_INTERNAL", `the build has no TeX bundle named ${name}`);
+    return entry;
+}
+/** Reads a file or rejects with `undefined` when it is not there. */
+async function readIfThere(file) {
+    try {
+        return new Uint8Array(await readFile(file));
+    }
+    catch (e) {
+        if (e.code === "ENOENT")
+            return undefined;
+        throw e;
+    }
+}
+/** Downloads the bytes of a bundle from an `http:`, `https:` or `file:` URL. */
+async function download(url, settings, entry) {
+    const fail = (why) => new RenderError("E_STAGE_MISSING", `the TeX bundle ${entry.name} is not available at ${url}: ${why}`);
+    let parsed;
+    try {
+        parsed = new URL(url);
+    }
+    catch {
+        throw new RenderError("E_CONFIG", `texBundleUrl gives the URL ${url} for the TeX bundle ${entry.name}, and it is not a URL`);
+    }
+    if (parsed.protocol === "file:") {
+        try {
+            return new Uint8Array(await readFile(fileURLToPath(parsed)));
+        }
+        catch (e) {
+            throw fail(e instanceof Error ? e.message : String(e));
+        }
+    }
+    if (parsed.protocol !== "https:" && parsed.protocol !== "http:")
+        throw fail(`the protocol ${parsed.protocol} is not supported`);
+    try {
+        const res = await fetch(parsed, { redirect: "follow", signal: AbortSignal.timeout(settings.timeoutMs) });
+        if (!res.ok)
+            throw fail(`the server answered ${res.status}`);
+        const length = Number(res.headers.get("content-length") ?? 0);
+        if (length > entry.bytes)
+            throw new RenderError("E_INTEGRITY", `the TeX bundle ${entry.name} from ${url} is ${length} bytes, and the pin says ${entry.bytes}`);
+        return new Uint8Array(await res.arrayBuffer());
+    }
+    catch (e) {
+        if (e instanceof RenderError)
+            throw e;
+        throw fail(e instanceof Error ? e.message : String(e));
+    }
+}
+/**
+ * Returns the verified bytes of a bundle. The order is the cache, then the download.
+ * A cached file is hashed on every load. A cached file with a wrong hash is deleted, and the load goes on to the download.
+ * A download is allowed only when `allowNetwork` has `tex-bundles`. It goes to a temporary file in the cache folder,
+ * its hash and size are checked, and only then does a rename put it in place. A wrong hash deletes the temporary file and
+ * rejects with `E_INTEGRITY`, so a wrong file never stays in the cache. A bundle that is not cached, with the download not allowed,
+ * rejects with `E_STAGE_MISSING`.
+ */
+export async function loadBundleBytes(entry, settings) {
+    const target = cachePath(entry, settings);
+    const cached = await readIfThere(target);
+    if (cached !== undefined) {
+        if (sha256(cached) === entry.sha256)
+            return cached;
+        await rm(target, { force: true });
+    }
+    const url = bundleUrl(entry, settings);
+    if (settings.allowNetwork === "none") {
+        throw new RenderError("E_STAGE_MISSING", `the TeX bundle ${entry.name} is not in the cache (${target}), and the configuration does not allow the download of ${url}. Set allowNetwork to tex-bundles, or put the file ${entry.file} in the cache folder.`);
+    }
+    const bytes = await download(url, settings, entry);
+    await mkdir(path.dirname(target), { recursive: true });
+    const temp = `${target}.${process.pid}.${randomBytes(6).toString("hex")}.tmp`;
+    await writeFile(temp, bytes);
+    try {
+        if (bytes.length !== entry.bytes || sha256(bytes) !== entry.sha256) {
+            await rm(temp, { force: true });
+            throw new RenderError("E_INTEGRITY", `the TeX bundle ${entry.name} from ${url} does not match its pin (sha256 ${entry.sha256}, ${entry.bytes} bytes). The download is deleted.`);
+        }
+        await rename(temp, target);
+    }
+    catch (e) {
+        await rm(temp, { force: true });
+        throw e;
+    }
+    return bytes;
+}
+/** Unpacks an SCTB1 container (see `tools/tex/bundles.mjs`) to a map from the tree name to the file bytes. */
+export function unpackBundle(bytes) {
+    const buf = Buffer.from(bytes.buffer, bytes.byteOffset, bytes.length);
+    if (buf.length < 8 || buf.toString("latin1", 0, 8) !== MAGIC)
+        throw new RenderError("E_INTEGRITY", "a TeX bundle is not an SCTB1 container");
+    let body;
+    try {
+        body = inflateRawSync(buf.subarray(8));
+    }
+    catch (e) {
+        throw new RenderError("E_INTEGRITY", `a TeX bundle does not inflate: ${e instanceof Error ? e.message : String(e)}`);
+    }
+    const out = new Map();
+    let at = 4;
+    const count = body.readUInt32LE(0);
+    for (let i = 0; i < count; i++) {
+        const nameLength = body.readUInt16LE(at);
+        at += 2;
+        const name = body.toString("utf8", at, at + nameLength);
+        at += nameLength;
+        const size = body.readUInt32LE(at);
+        at += 4;
+        out.set(name, new Uint8Array(body.buffer, body.byteOffset + at, size));
+        at += size;
+    }
+    return out;
+}
+/** Loads the named bundles and returns the files of each, in the order of the names. A name twice loads once. */
+export async function loadBundles(names, settings, bundles = BUNDLES) {
+    const out = new Map();
+    for (const name of names) {
+        if (out.has(name))
+            continue;
+        out.set(name, unpackBundle(await loadBundleBytes(findBundle(name, bundles), settings)));
+    }
+    return out;
+}
+//# sourceMappingURL=bundles.js.map

package/dist/tex/bundles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"bundles.js","sourceRoot":"","sources":["../../src/tex/bundles.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC1E,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3C,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,IAAI,MAAM,gBAAgB,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAWxD,kIAAkI;AAClI,MAAM,CAAC,MAAM,OAAO,GAA2B,IAAqB,CAAC;AAcrE,0DAA0D;AAC1D,MAAM,CAAC,MAAM,eAAe,GAAG,aAAa,CAAC;AAE7C,MAAM,KAAK,GAAG,aAAa,CAAC;AAE5B,MAAM,MAAM,GAAG,CAAC,CAAa,EAAU,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEvF,yCAAyC;AACzC,MAAM,UAAU,SAAS,CAAC,KAAkB,EAAE,QAA0C;IACtF,OAAO,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;AACnE,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,SAAS,CAAC,KAAkB,EAAE,QAA8C;IAC1F,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC;IACnC,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC;AAClE,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,UAAU,CAAC,IAAgB,EAAE,OAAO,GAA2B,OAAO;IACpF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IACnD,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,WAAW,CAAC,YAAY,EAAE,qCAAqC,IAAI,EAAE,CAAC,CAAC;IAC1G,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qEAAqE;AACrE,KAAK,UAAU,WAAW,CAAC,IAAY;IACrC,IAAI,CAAC;QACH,OAAO,IAAI,UAAU,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAK,CAAuB,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACjE,MAAM,CAAC,CAAC;IACV,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,KAAK,UAAU,QAAQ,CAAC,GAAW,EAAE,QAAwB,EAAE,KAAkB;IAC/E,MAAM,IAAI,GAAG,CAAC,GAAW,EAAe,EAAE,CACxC,IAAI,WAAW,CAAC,iBAAiB,EAAE,kBAAkB,KAAK,CAAC,IAAI,wBAAwB,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC;IACxG,IAAI,MAAW,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,WAAW,CAAC,UAAU,EAAE,8BAA8B,GAAG,uBAAuB,KAAK,CAAC,IAAI,uBAAuB,CAAC,CAAC;IAC/H,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;QAChC,IAAI,CAAC;YACH,OAAO,IAAI,UAAU,CAAC,MAAM,QAAQ,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO;QAAE,MAAM,IAAI,CAAC,gBAAgB,MAAM,CAAC,QAAQ,mBAAmB,CAAC,CAAC;IAChI,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACzG,IAAI,CAAC,GAAG,CAAC,EAAE;YAAE,MAAM,IAAI,CAAC,uBAAuB,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9D,IAAI,MAAM,GAAG,KAAK,CAAC,KAAK;YAAE,MAAM,IAAI,WAAW,CAAC,aAAa,EAAE,kBAAkB,KAAK,CAAC,IAAI,SAAS,GAAG,OAAO,MAAM,4BAA4B,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC/J,OAAO,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC;IACjD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,IAAI,CAAC,YAAY,WAAW;YAAE,MAAM,CAAC,CAAC;QACtC,MAAM,IAAI,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAkB,EAAE,QAAwB;IAChF,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,MAAM;YAAE,OAAO,MAAM,CAAC;QACnD,MAAM,EAAE,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACvC,IAAI,QAAQ,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;QACrC,MAAM,IAAI,WAAW,CACnB,iBAAiB,EACjB,kBAAkB,KAAK,CAAC,IAAI,yBAAyB,MAAM,2DAA2D,GAAG,sDAAsD,KAAK,CAAC,IAAI,uBAAuB,CACjN,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnD,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC;IAC9E,MAAM,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC7B,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,MAAM,EAAE,CAAC;YACnE,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAChC,MAAM,IAAI,WAAW,CACnB,aAAa,EACb,kBAAkB,KAAK,CAAC,IAAI,SAAS,GAAG,mCAAmC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,mCAAmC,CAC3I,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChC,MAAM,CAAC,CAAC;IACV,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8GAA8G;AAC9G,MAAM,UAAU,YAAY,CAAC,KAAiB;IAC5C,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACtE,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,KAAK,KAAK;QAAE,MAAM,IAAI,WAAW,CAAC,aAAa,EAAE,wCAAwC,CAAC,CAAC;IAC7I,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,WAAW,CAAC,aAAa,EAAE,kCAAkC,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvH,CAAC;IACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACzC,EAAE,IAAI,CAAC,CAAC;QACR,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;QACxD,EAAE,IAAI,UAAU,CAAC;QACjB,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACnC,EAAE,IAAI,CAAC,CAAC;QACR,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,GAAG,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACvE,EAAE,IAAI,IAAI,CAAC;IACb,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iHAAiH;AACjH,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,KAA4B,EAC5B,QAAwB,EACxB,OAAO,GAA2B,OAAO;IAEzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAuC,CAAC;IAC3D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5B,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,YAAY,CAAC,MAAM,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/tex/bundles.json

@@ -0,0 +1,26 @@
+[
+    {
+        "name": "core",
+        "file": "scieng-tex-core.sctb",
+        "sha256": "20b7654bbf6da695eed7eef7895f3a59533f99e675cdb10e48f73d22ac47f43c",
+        "bytes": 9383293
+    },
+    {
+        "name": "diagrams",
+        "file": "scieng-tex-diagrams.sctb",
+        "sha256": "d11be2a1c7931c0d37496852adebe9b3de3deda4bcad98e5396e7eab9c56f2f7",
+        "bytes": 71534
+    },
+    {
+        "name": "science",
+        "file": "scieng-tex-science.sctb",
+        "sha256": "38990ecd718cf5c670c7661418b2a0e427100a8f6b1bb0fc95f21faed0bb45df",
+        "bytes": 90196
+    },
+    {
+        "name": "math",
+        "file": "scieng-tex-math.sctb",
+        "sha256": "ffb760bdb04aa35d4ee56e8bf9ae6a628dd7d204c6aac55d147e651f1854343e",
+        "bytes": 721870
+    }
+]

package/dist/tex/detect.d.ts

@@ -0,0 +1,27 @@
+/**
+ * Package detection of the TeX stage.
+ *
+ * The method follows the templater of the Upmath renderer (parpalak/i.upmath.me, MIT licence,
+ * copyright Roman Parpalak): the scan looks for known environments and commands in the source
+ * and names the package that each one needs. This module adds package lines, TikZ libraries,
+ * the comment and verbatim blanking, the bundle tables and the rejection of packages that no
+ * bundle holds. It copies no code of the templater.
+ *
+ * The scan is not a security boundary. TeX runs on a virtual file tree that holds only the
+ * bundles, so a package that the scan misses fails inside TeX.
+ */
+/** The name of a TeX bundle. */
+export type BundleName = "core" | "diagrams" | "science" | "math";
+/** The result of a scan. */
+export interface Detection {
+    /** The bundles that the source needs, sorted, with `core` first. */
+    bundles: BundleName[];
+    /** The packages that the source names or implies, sorted, each one once. */
+    packages: string[];
+}
+/**
+ * Scans a TeX source and names the bundles that it needs.
+ * Throws E_UNSUPPORTED for a package with the GPL as its only licence, for a package that no bundle holds
+ * and for a `fontenc` option other than OT1.
+ */
+export declare function detectBundles(source: string): Detection;