@danielsimonjr/sciengjs 0.8.0 → 0.10.0

package/dist/tex/detect.js

@@ -0,0 +1,212 @@
+import { RenderError } from "../errors.js";
+/** The allowed package names of each bundle. */
+const BUNDLE_PACKAGES = {
+    core: [
+        "tikz", "pgf", "xcolor", "color", "circuitikz", "standalone", "graphicx", "xkeyval",
+        "etoolbox", "ifthen", "array", "calc", "fontenc", "inputenc", "textcomp", "xspace",
+    ],
+    diagrams: ["tikz-cd", "tikz-3dplot", "smartdiagram"],
+    science: ["chemfig", "simplekv", "mhchem", "chemgreek", "l3packages", "bussproofs"],
+    math: ["amsmath", "amssymb", "amsfonts", "amsthm", "amscd", "amsbsy", "amsopn", "amstext", "amsgen", "eucal"],
+};
+/** The TikZ libraries that a bundle other than core holds. */
+const DIAGRAM_LIBRARIES = ["hobby", "cd"];
+/** The packages with the GPL as their only licence, each with its replacement. */
+const GPL_REPLACEMENTS = {
+    pgfplots: "the plotly input type and the plot stage",
+    "pgf-umlsd": "a Mermaid sequence diagram",
+    xy: "tikz-cd",
+    esvect: "\\vec or \\overrightarrow",
+    mathrsfs: "\\mathscr from the AMS eucal package",
+};
+/** Environments that need a package. A starred form matches too. */
+const ENVIRONMENT_RULES = [
+    ["tikzpicture", "tikz"],
+    ["circuitikz", "circuitikz"],
+    ["tikzcd", "tikz-cd"],
+    ["prooftree", "bussproofs"],
+    ["sequencediagram", "pgf-umlsd"],
+    ["axis", "pgfplots"],
+    ["xy", "xy"],
+    ...[
+        "align", "alignat", "flalign", "gather", "multline", "split", "aligned", "gathered", "subequations",
+        "cases", "matrix", "pmatrix", "bmatrix", "Bmatrix", "vmatrix", "Vmatrix", "smallmatrix",
+    ].map((name) => [name, "amsmath"]),
+];
+/** Commands that need a package. A longer command name never matches. */
+const COMMAND_RULES = [
+    ["tikz", "tikz"],
+    ["smartdiagram", "smartdiagram"],
+    ["tdplotsetmaincoords", "tikz-3dplot"],
+    ["tdplotsetrotatedcoords", "tikz-3dplot"],
+    ["ce", "mhchem"],
+    ["chemfig", "chemfig"],
+    ["addplot", "pgfplots"],
+    ["xymatrix", "xy"],
+    ["vv", "esvect"],
+    ["mathscr", "mathrsfs"],
+    ...["DisplayProof", "AxiomC", "UnaryInfC", "BinaryInfC", "TrinaryInfC", "QuaternaryInfC", "QuinaryInfC"].map((name) => [name, "bussproofs"]),
+    ...["color", "textcolor", "colorbox", "pagecolor", "definecolor"].map((name) => [name, "xcolor"]),
+    ...["mathbb", "mathfrak"].map((name) => [name, "amssymb"]),
+    ...["text", "dfrac", "tfrac", "binom", "operatorname", "intertext", "substack"].map((name) => [name, "amsmath"]),
+];
+/** Environments whose body the scan blanks. */
+const VERBATIM_BEGIN = /^\\begin\s*\{(verbatim\*?|lstlisting|minted)\}/;
+const VERB = /^\\verb\*?([^A-Za-z\s*])/;
+const PACKAGE_LINE = /\\(?:usepackage|RequirePackage(?:WithOptions)?)\s*(?:\[([^\]]*)\])?\s*\{([^}]*)\}/g;
+const LIBRARY_LINE = /\\usetikzlibrary\s*\{([^}]*)\}/g;
+const BUNDLE_OF = new Map();
+for (const [bundle, names] of Object.entries(BUNDLE_PACKAGES)) {
+    for (const name of names) {
+        BUNDLE_OF.set(name, bundle);
+    }
+}
+/** The only font encoding that the bundles hold. Latin Modern, which T1 and the other encodings need, is in no bundle. */
+const BUNDLED_ENCODING = "OT1";
+/** The first option of a `fontenc` line that names an encoding other than OT1, or `undefined`. */
+function foreignEncoding(options) {
+    return (options ?? "")
+        .split(",")
+        .map((option) => option.trim())
+        .find((option) => option !== "" && option !== BUNDLED_ENCODING);
+}
+/** Replaces the characters of a range with spaces and keeps the line breaks. */
+function blank(chars, from, to) {
+    for (let k = from; k < to; k += 1) {
+        if (chars[k] !== "\n") {
+            chars[k] = " ";
+        }
+    }
+}
+/**
+ * Blanks the comments, the verbatim bodies, the `\verb` text and each double backslash.
+ * The result has the length of the source and the same line breaks.
+ */
+function sanitize(source) {
+    const chars = source.split("");
+    let i = 0;
+    while (i < source.length) {
+        const c = source[i];
+        if (c === "%") {
+            const end = source.indexOf("\n", i);
+            const stop = end < 0 ? source.length : end;
+            blank(chars, i, stop);
+            i = stop;
+        }
+        else if (c === "\\") {
+            const rest = source.slice(i, i + 40);
+            const begin = VERBATIM_BEGIN.exec(rest);
+            const verb = VERB.exec(rest);
+            const next = source[i + 1];
+            if (begin !== null) {
+                const bodyStart = i + begin[0].length;
+                const end = source.indexOf(`\\end{${begin[1]}}`, bodyStart);
+                if (end >= 0) {
+                    blank(chars, bodyStart, end);
+                    i = end;
+                }
+                else {
+                    i = bodyStart;
+                }
+            }
+            else if (verb !== null) {
+                const textStart = i + verb[0].length;
+                const close = source.indexOf(verb[1], textStart);
+                const lineEnd = source.indexOf("\n", textStart);
+                if (close >= 0 && (lineEnd < 0 || close < lineEnd)) {
+                    blank(chars, i, close + 1);
+                    i = close + 1;
+                }
+                else {
+                    i += verb[0].length;
+                }
+            }
+            else if (next === "\\") {
+                blank(chars, i, i + 2);
+                i += 2;
+            }
+            else {
+                i += 2;
+            }
+        }
+        else {
+            i += 1;
+        }
+    }
+    return chars.join("");
+}
+/** Collects the first position of each package that the clean text names or implies. */
+function findPackages(text) {
+    const findings = [];
+    const extra = new Set();
+    for (const m of text.matchAll(PACKAGE_LINE)) {
+        for (const part of m[2].split(",")) {
+            const name = part.trim();
+            if (name !== "") {
+                const encoding = name === "fontenc" ? foreignEncoding(m[1]) : undefined;
+                findings.push(encoding === undefined ? { name, index: m.index } : { name, index: m.index, encoding });
+            }
+        }
+    }
+    for (const m of text.matchAll(LIBRARY_LINE)) {
+        for (const part of m[1].split(",")) {
+            if (DIAGRAM_LIBRARIES.includes(part.trim())) {
+                extra.add("diagrams");
+            }
+        }
+    }
+    for (const [env, name] of ENVIRONMENT_RULES) {
+        const hit = new RegExp(`\\\\begin\\s*\\{${env}\\*?\\}`).exec(text);
+        if (hit !== null) {
+            findings.push({ name, index: hit.index });
+        }
+    }
+    for (const [command, name] of COMMAND_RULES) {
+        const hit = new RegExp(`\\\\${command}(?![A-Za-z])`).exec(text);
+        if (hit !== null) {
+            findings.push({ name, index: hit.index });
+        }
+    }
+    return { findings, extra };
+}
+function lineOf(text, index) {
+    let line = 1;
+    for (let k = 0; k < index; k += 1) {
+        if (text[k] === "\n") {
+            line += 1;
+        }
+    }
+    return line;
+}
+/**
+ * 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 function detectBundles(source) {
+    const text = sanitize(source);
+    const { findings, extra } = findPackages(text);
+    findings.sort((a, b) => a.index - b.index);
+    const bundles = new Set(["core", ...extra]);
+    const packages = new Set();
+    for (const { name, index, encoding } of findings) {
+        if (encoding !== undefined) {
+            throw new RenderError("E_UNSUPPORTED", `Font encoding "${encoding}" is not available: only the OT1 encoding is bundled, and the Latin Modern fonts that T1 needs are in no bundle. Use the OT1 encoding or remove the fontenc option.`, { line: lineOf(text, index) });
+        }
+        const replacement = Object.hasOwn(GPL_REPLACEMENTS, name) ? GPL_REPLACEMENTS[name] : undefined;
+        const bundle = BUNDLE_OF.get(name);
+        if (replacement !== undefined) {
+            throw new RenderError("E_UNSUPPORTED", `TeX package "${name}" has the GPL as its only licence, so no bundle holds it. Replacement: ${replacement}.`, { line: lineOf(text, index) });
+        }
+        if (bundle === undefined) {
+            throw new RenderError("E_UNSUPPORTED", `TeX package "${name}" is not in any bundle.`, {
+                line: lineOf(text, index),
+            });
+        }
+        bundles.add(bundle);
+        packages.add(name);
+    }
+    const rest = [...bundles].filter((b) => b !== "core").sort();
+    return { bundles: ["core", ...rest], packages: [...packages].sort() };
+}
+//# sourceMappingURL=detect.js.map

package/dist/tex/detect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"detect.js","sourceRoot":"","sources":["../../src/tex/detect.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AA0B3C,gDAAgD;AAChD,MAAM,eAAe,GAA0C;IAC7D,IAAI,EAAE;QACJ,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,SAAS;QACnF,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ;KACnF;IACD,QAAQ,EAAE,CAAC,SAAS,EAAE,aAAa,EAAE,cAAc,CAAC;IACpD,OAAO,EAAE,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,CAAC;IACnF,IAAI,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC;CAC9G,CAAC;AAEF,8DAA8D;AAC9D,MAAM,iBAAiB,GAAsB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAE7D,kFAAkF;AAClF,MAAM,gBAAgB,GAAqC;IACzD,QAAQ,EAAE,0CAA0C;IACpD,WAAW,EAAE,4BAA4B;IACzC,EAAE,EAAE,SAAS;IACb,MAAM,EAAE,2BAA2B;IACnC,QAAQ,EAAE,sCAAsC;CACjD,CAAC;AAEF,oEAAoE;AACpE,MAAM,iBAAiB,GAA6C;IAClE,CAAC,aAAa,EAAE,MAAM,CAAC;IACvB,CAAC,YAAY,EAAE,YAAY,CAAC;IAC5B,CAAC,QAAQ,EAAE,SAAS,CAAC;IACrB,CAAC,WAAW,EAAE,YAAY,CAAC;IAC3B,CAAC,iBAAiB,EAAE,WAAW,CAAC;IAChC,CAAC,MAAM,EAAE,UAAU,CAAC;IACpB,CAAC,IAAI,EAAE,IAAI,CAAC;IACZ,GAAG;QACD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,cAAc;QACnG,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa;KACxF,CAAC,GAAG,CAAC,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;CAC9D,CAAC;AAEF,yEAAyE;AACzE,MAAM,aAAa,GAA6C;IAC9D,CAAC,MAAM,EAAE,MAAM,CAAC;IAChB,CAAC,cAAc,EAAE,cAAc,CAAC;IAChC,CAAC,qBAAqB,EAAE,aAAa,CAAC;IACtC,CAAC,wBAAwB,EAAE,aAAa,CAAC;IACzC,CAAC,IAAI,EAAE,QAAQ,CAAC;IAChB,CAAC,SAAS,EAAE,SAAS,CAAC;IACtB,CAAC,SAAS,EAAE,UAAU,CAAC;IACvB,CAAC,UAAU,EAAE,IAAI,CAAC;IAClB,CAAC,IAAI,EAAE,QAAQ,CAAC;IAChB,CAAC,SAAS,EAAE,UAAU,CAAC;IACvB,GAAG,CAAC,cAAc,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,aAAa,CAAC,CAAC,GAAG,CAC1G,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAC1D;IACD,GAAG,CAAC,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC,GAAG,CACnE,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,CAAC,CACtD;IACD,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACrF,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,cAAc,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,GAAG,CACjF,CAAC,IAAI,EAA6B,EAAE,CAAC,CAAC,IAAI,EAAE,SAAS,CAAC,CACvD;CACF,CAAC;AAEF,+CAA+C;AAC/C,MAAM,cAAc,GAAG,gDAAgD,CAAC;AACxE,MAAM,IAAI,GAAG,0BAA0B,CAAC;AACxC,MAAM,YAAY,GAAG,oFAAoF,CAAC;AAC1G,MAAM,YAAY,GAAG,iCAAiC,CAAC;AAEvD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAsB,CAAC;AAChD,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,eAAe,CAA2C,EAAE,CAAC;IACxG,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9B,CAAC;AACH,CAAC;AASD,0HAA0H;AAC1H,MAAM,gBAAgB,GAAG,KAAK,CAAC;AAE/B,kGAAkG;AAClG,SAAS,eAAe,CAAC,OAA2B;IAClD,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC;SACnB,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;SAC9B,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,EAAE,IAAI,MAAM,KAAK,gBAAgB,CAAC,CAAC;AACpE,CAAC;AAED,gFAAgF;AAChF,SAAS,KAAK,CAAC,KAAe,EAAE,IAAY,EAAE,EAAU;IACtD,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACtB,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACjB,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACpB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACd,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,MAAM,IAAI,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC;YAC3C,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACtB,CAAC,GAAG,IAAI,CAAC;QACX,CAAC;aAAM,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC3B,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,MAAM,SAAS,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACtC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;gBAC5D,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC;oBACb,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;oBAC7B,CAAC,GAAG,GAAG,CAAC;gBACV,CAAC;qBAAM,CAAC;oBACN,CAAC,GAAG,SAAS,CAAC;gBAChB,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBACzB,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACrC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAW,EAAE,SAAS,CAAC,CAAC;gBAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;gBAChD,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC;oBACnD,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;oBAC3B,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;gBAChB,CAAC;qBAAM,CAAC;oBACN,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;gBACtB,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;gBACzB,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACvB,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;iBAAM,CAAC;gBACN,CAAC,IAAI,CAAC,CAAC;YACT,CAAC;QACH,CAAC;aAAM,CAAC;YACN,CAAC,IAAI,CAAC,CAAC;QACT,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,wFAAwF;AACxF,SAAS,YAAY,CAAC,IAAY;IAChC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAc,CAAC;IACpC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAK,CAAC,CAAC,CAAC,CAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,MAAM,QAAQ,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACxE,QAAQ,CAAC,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;YACxG,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAK,CAAC,CAAC,CAAC,CAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,IAAI,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC5C,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,iBAAiB,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,mBAAmB,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,aAAa,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAI,MAAM,CAAC,OAAO,OAAO,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,SAAS,MAAM,CAAC,IAAY,EAAE,KAAa;IACzC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc;IAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC9B,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/C,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAa,CAAC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,QAAQ,EAAE,CAAC;QACjD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,kBAAkB,QAAQ,qKAAqK,EAC/L,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAC9B,CAAC;QACJ,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/F,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,MAAM,IAAI,WAAW,CACnB,eAAe,EACf,gBAAgB,IAAI,0EAA0E,WAAW,GAAG,EAC5G,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAC9B,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,WAAW,CAAC,eAAe,EAAE,gBAAgB,IAAI,yBAAyB,EAAE;gBACpF,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;aAC1B,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,CAAC;IACD,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,OAAO,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,GAAG,IAAI,CAAiB,EAAE,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACxF,CAAC"}

package/dist/tex/dvi.d.ts

@@ -0,0 +1,44 @@
+import type { SpecialPosition, SpecialResult } from "./specials.ts";
+/** The files of one font: the TFM, and the PFB when the font has outlines. */
+export interface FontFiles {
+    tfm: Uint8Array;
+    pfb: Uint8Array | null;
+}
+/** The options of the DVI converter. */
+export interface DviOptions {
+    /** The page to draw, counted from 1. The default is 1. */
+    page?: number;
+    /** The border around the marks, in SVG units. The default is 1. */
+    margin?: number;
+    /** The size of one TeX point in SVG units. The default is 1. */
+    unitPerPt?: number;
+    /** Reads one `\special` at the current position. It can give SVG text for the page and a box for the bounds. */
+    special?: (text: string, at: SpecialPosition) => SpecialResult | null;
+    /**
+     * Tells whether the page is inside a transformed group. While it gives true, the boxes of glyphs and rules do not
+     * join the bounds, because their DVI positions are not their places on the page. The boxes of specials still do.
+     */
+    transformed?: () => boolean;
+}
+/** The result of the DVI converter. */
+export interface DviSvg {
+    svg: string;
+    /** The number of glyph paths on the drawn page. */
+    glyphs: number;
+    /** The number of rules on the drawn page. */
+    rules: number;
+    /** The number of `\special` commands in the file. */
+    specials: number;
+    /** The number of pages in the file. */
+    pages: number;
+    /** The fonts and glyphs (`font:code`) that have no file or no outline. */
+    missing: string[];
+    /** The fonts that the file names, by font name. */
+    fonts: string[];
+}
+/**
+ * Converts a DVI file to SVG.
+ * `fontFiles` gives the files of a font by name. It returns `null` for an unknown font.
+ * A font with no PFB keeps its TFM advances, and each of its glyphs goes in the missing list.
+ */
+export declare function dviToSvg(dvi: Uint8Array, fontFiles: (name: string) => FontFiles | null, opt?: DviOptions): DviSvg;

package/dist/tex/dvi.js

@@ -0,0 +1,280 @@
+// DVI to SVG. Each glyph becomes one <path> with the outline of its Type 1 font; each rule becomes a <rect>.
+// The format of the DVI file: dvitype.web, part 3. Units: the SVG unit is the TeX point, unless the option
+// unitPerPt gives another unit.
+import { readTfm } from "./tfm.js";
+import { readType1 } from "./type1.js";
+const r = (v) => String(Math.round(v * 1000) / 1000);
+/**
+ * Converts a DVI file to SVG.
+ * `fontFiles` gives the files of a font by name. It returns `null` for an unknown font.
+ * A font with no PFB keeps its TFM advances, and each of its glyphs goes in the missing list.
+ */
+export function dviToSvg(dvi, fontFiles, opt = {}) {
+    let p = 0;
+    const u = (n) => {
+        let v = 0;
+        for (let i = 0; i < n; i++)
+            v = v * 256 + dvi[p++];
+        return v;
+    };
+    const s = (n) => {
+        const v = u(n);
+        const lim = 2 ** (8 * n - 1);
+        return v >= lim ? v - 2 * lim : v;
+    };
+    if (dvi[0] !== 247 || dvi[1] !== 2)
+        throw new Error("not a DVI file");
+    p = 2;
+    const num = u(4);
+    const den = u(4);
+    const mag = u(4);
+    p += 1 + dvi[14];
+    // the SVG unit: the TeX point, or another unit with opt.unitPerPt (72/72.27 gives the big point)
+    const toPt = (num / den) * (mag / 1000) * (72.27 / 254000) * (opt.unitPerPt ?? 1);
+    const fonts = new Map();
+    const loaded = new Map();
+    const missing = new Set();
+    const out = [];
+    let glyphs = 0;
+    let rules = 0;
+    let specials = 0;
+    let page = 0;
+    let minX = Infinity;
+    let minY = Infinity;
+    let maxX = -Infinity;
+    let maxY = -Infinity;
+    const box = (x0, y0, x1, y1) => {
+        minX = Math.min(minX, x0);
+        minY = Math.min(minY, y0);
+        maxX = Math.max(maxX, x1);
+        maxY = Math.max(maxY, y1);
+    };
+    const want = opt.page ?? 1;
+    let h = 0;
+    let v = 0;
+    let w = 0;
+    let x = 0;
+    let y = 0;
+    let z = 0;
+    let f;
+    const stack = [];
+    const fontDef = (k) => {
+        u(4); // checksum
+        const sz = u(4);
+        u(4); // design size
+        const a = u(1);
+        const l = u(1);
+        let name = "";
+        for (let i = 0; i < a + l; i++)
+            name += String.fromCharCode(dvi[p++]);
+        if (fonts.has(k))
+            return;
+        let ld = loaded.get(name);
+        if (ld === undefined) {
+            const files = fontFiles(name);
+            if (!files) {
+                missing.add(name);
+                ld = null;
+            }
+            else
+                ld = { tfm: readTfm(files.tfm), t1: files.pfb ? readType1(files.pfb) : null };
+            loaded.set(name, ld);
+        }
+        fonts.set(k, { name, size: sz, ld });
+    };
+    const drawChar = (c) => {
+        const fnt = f;
+        if (!fnt)
+            throw new Error("char before a font");
+        let adv = 0;
+        if (fnt.ld) {
+            const wd = fnt.ld.tfm.widths.get(c);
+            if (wd === undefined)
+                throw new Error(`no width for char ${c} in ${fnt.name}`);
+            adv = wd * fnt.size; // TFM width times the font size, in DVI units
+        }
+        if (page === want && fnt.ld) {
+            const g = fnt.ld.t1?.glyph(c);
+            if (!g)
+                missing.add(`${fnt.name}:${c}`);
+            else if (g.d) {
+                const k = (fnt.size * toPt) / 1000;
+                const X = h * toPt;
+                const Y = v * toPt;
+                const ks = Number(k.toFixed(6));
+                out.push(`<path transform="translate(${r(X)} ${r(Y)}) scale(${ks} ${-ks})" d="${g.d}"/>`);
+                if (!opt.transformed?.())
+                    box(X + g.bbox[0] * k, Y - g.bbox[3] * k, X + g.bbox[2] * k, Y - g.bbox[1] * k);
+                glyphs++;
+            }
+        }
+        return adv;
+    };
+    const drawRule = (a, b) => {
+        if (page === want && a > 0 && b > 0) {
+            const X = h * toPt;
+            const Y = (v - a) * toPt;
+            out.push(`<rect x="${r(X)}" y="${r(Y)}" width="${r(b * toPt)}" height="${r(a * toPt)}"/>`);
+            if (!opt.transformed?.())
+                box(X, Y, X + b * toPt, Y + a * toPt);
+            rules++;
+        }
+    };
+    for (;;) {
+        if (p >= dvi.length)
+            throw new Error("DVI ended without post");
+        const o = dvi[p++];
+        if (o < 128) {
+            h += drawChar(o);
+            continue;
+        }
+        if (o >= 171 && o <= 234) {
+            f = fonts.get(o - 171);
+            continue;
+        }
+        switch (o) {
+            case 128:
+            case 129:
+            case 130:
+            case 131:
+                h += drawChar(u(o - 127));
+                break;
+            case 133:
+            case 134:
+            case 135:
+            case 136:
+                drawChar(u(o - 132));
+                break;
+            case 132: {
+                const a = s(4);
+                const b = s(4);
+                drawRule(a, b);
+                h += b;
+                break;
+            }
+            case 137: {
+                const a = s(4);
+                const b = s(4);
+                drawRule(a, b);
+                break;
+            }
+            case 138:
+                break;
+            case 139:
+                p += 44;
+                page++;
+                h = v = w = x = y = z = 0;
+                stack.length = 0;
+                f = undefined;
+                break;
+            case 140:
+                break;
+            case 141:
+                stack.push([h, v, w, x, y, z]);
+                break;
+            case 142: {
+                const top = stack.pop();
+                if (!top)
+                    throw new Error("DVI pop with an empty stack");
+                [h, v, w, x, y, z] = top;
+                break;
+            }
+            case 143:
+            case 144:
+            case 145:
+            case 146:
+                h += s(o - 142);
+                break;
+            case 147:
+                h += w;
+                break;
+            case 148:
+            case 149:
+            case 150:
+            case 151:
+                w = s(o - 147);
+                h += w;
+                break;
+            case 152:
+                h += x;
+                break;
+            case 153:
+            case 154:
+            case 155:
+            case 156:
+                x = s(o - 152);
+                h += x;
+                break;
+            case 157:
+            case 158:
+            case 159:
+            case 160:
+                v += s(o - 156);
+                break;
+            case 161:
+                v += y;
+                break;
+            case 162:
+            case 163:
+            case 164:
+            case 165:
+                y = s(o - 161);
+                v += y;
+                break;
+            case 166:
+                v += z;
+                break;
+            case 167:
+            case 168:
+            case 169:
+            case 170:
+                z = s(o - 166);
+                v += z;
+                break;
+            case 235:
+            case 236:
+            case 237:
+            case 238:
+                f = fonts.get(u(o - 234));
+                break;
+            case 239:
+            case 240:
+            case 241:
+            case 242: {
+                const k = u(o - 238);
+                let text = "";
+                for (let i = 0; i < k; i++)
+                    text += String.fromCharCode(dvi[p + i]);
+                p += k;
+                specials++;
+                // opt.special reads one \special at the current position (in SVG units) and can
+                // give SVG text for the page and a box [x0, y0, x1, y1] for the bounds
+                const res = page === want && opt.special ? opt.special(text, { x: h * toPt, y: v * toPt, unit: opt.unitPerPt ?? 1 }) : null;
+                if (res?.svg)
+                    out.push(res.svg);
+                if (res?.box)
+                    box(res.box[0], res.box[1], res.box[2], res.box[3]);
+                break;
+            }
+            case 243:
+            case 244:
+            case 245:
+            case 246:
+                fontDef(u(o - 242));
+                break;
+            case 248: {
+                const m = opt.margin ?? 1;
+                if (!Number.isFinite(minX)) {
+                    minX = minY = 0;
+                    maxX = maxY = 1;
+                }
+                const vb = [minX - m, minY - m, maxX - minX + 2 * m, maxY - minY + 2 * m].map(r).join(" ");
+                const svg = `<svg xmlns="http://www.w3.org/2000/svg" viewBox="${vb}" width="${r(maxX - minX + 2 * m)}pt" height="${r(maxY - minY + 2 * m)}pt">\n${out.join("\n")}\n</svg>\n`;
+                return { svg, glyphs, rules, specials, pages: page, missing: [...missing], fonts: [...loaded.keys()] };
+            }
+            default:
+                throw new Error(`DVI opcode ${o} at byte ${p - 1}`);
+        }
+    }
+}
+//# sourceMappingURL=dvi.js.map

package/dist/tex/dvi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dvi.js","sourceRoot":"","sources":["../../src/tex/dvi.ts"],"names":[],"mappings":"AAAA,6GAA6G;AAC7G,2GAA2G;AAC3G,gCAAgC;AAChC,OAAO,EAAE,OAAO,EAAY,MAAM,UAAU,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAkB,MAAM,YAAY,CAAC;AA2CvD,MAAM,CAAC,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;AAarE;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,GAAe,EAAE,SAA6C,EAAE,GAAG,GAAe,EAAE;IAC3G,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,MAAM,CAAC,GAAG,CAAC,CAAS,EAAU,EAAE;QAC9B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,CAAC,GAAG,CAAC,GAAG,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,CAAE,CAAC;QACpD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IACF,MAAM,CAAC,GAAG,CAAC,CAAS,EAAU,EAAE;QAC9B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC;IACF,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IACtE,CAAC,GAAG,CAAC,CAAC;IACN,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjB,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,CAAE,CAAC;IAClB,iGAAiG;IACjG,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmB,CAAC;IACzC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC;IACrB,IAAI,IAAI,GAAG,CAAC,QAAQ,CAAC;IACrB,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,EAAU,EAAE,EAAU,EAAE,EAAU,EAAQ,EAAE;QACnE,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC1B,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC1B,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC1B,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC;IAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,CAAsB,CAAC;IAC3B,MAAM,KAAK,GAAe,EAAE,CAAC;IAE7B,MAAM,OAAO,GAAG,CAAC,CAAS,EAAQ,EAAE;QAClC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;QACjB,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACf,IAAI,IAAI,GAAG,EAAE,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,IAAI,IAAI,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC;QACvE,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAAE,OAAO;QACzB,IAAI,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,CAAC,KAAK,EAAE,CAAC;gBACX,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,EAAE,GAAG,IAAI,CAAC;YACZ,CAAC;;gBAAM,EAAE,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACrF,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACvB,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAU,EAAE;QACrC,MAAM,GAAG,GAAG,CAAC,CAAC;QACd,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,oBAAoB,CAAC,CAAC;QAChD,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;YACX,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,EAAE,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/E,GAAG,GAAG,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,8CAA8C;QACrE,CAAC;QACD,IAAI,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;iBACnC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBACb,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;gBACnC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBACnB,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;gBACnB,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChC,GAAG,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC1F,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE;oBAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1G,MAAM,EAAE,CAAC;YACX,CAAC;QACH,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,CAAS,EAAQ,EAAE;QAC9C,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3F,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE;gBAAE,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;YAChE,KAAK,EAAE,CAAC;QACV,CAAC;IACH,CAAC,CAAC;IAEF,SAAS,CAAC;QACR,IAAI,CAAC,IAAI,GAAG,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,CAAE,CAAC;QACpB,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;YACZ,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;YACzB,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,QAAQ,CAAC,EAAE,CAAC;YACV,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;gBACrB,MAAM;YACR,KAAK,GAAG,EAAE,CAAC;gBACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACf,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,CAAC;YACD,KAAK,GAAG,EAAE,CAAC;gBACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACf,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;gBACf,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACf,MAAM;YACR,CAAC;YACD,KAAK,GAAG;gBACN,MAAM;YACR,KAAK,GAAG;gBACN,CAAC,IAAI,EAAE,CAAC;gBACR,IAAI,EAAE,CAAC;gBACP,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC1B,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;gBACjB,CAAC,GAAG,SAAS,CAAC;gBACd,MAAM;YACR,KAAK,GAAG;gBACN,MAAM;YACR,KAAK,GAAG;gBACN,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC/B,MAAM;YACR,KAAK,GAAG,EAAE,CAAC;gBACT,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;gBACxB,IAAI,CAAC,GAAG;oBAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;gBACzD,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,GAAuD,CAAC;gBAC7E,MAAM;YACR,CAAC;YACD,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;gBAChB,MAAM;YACR,KAAK,GAAG;gBACN,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,GAAG;gBACN,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;gBAChB,MAAM;YACR,KAAK,GAAG;gBACN,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,GAAG;gBACN,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;gBACf,CAAC,IAAI,CAAC,CAAC;gBACP,MAAM;YACR,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;gBAC1B,MAAM;YACR,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,EAAE,CAAC;gBACT,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC;gBACrB,IAAI,IAAI,GAAG,EAAE,CAAC;gBACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;oBAAE,IAAI,IAAI,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,CAAC;gBACrE,CAAC,IAAI,CAAC,CAAC;gBACP,QAAQ,EAAE,CAAC;gBACX,gFAAgF;gBAChF,uEAAuE;gBACvE,MAAM,GAAG,GAAG,IAAI,KAAK,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC5H,IAAI,GAAG,EAAE,GAAG;oBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAChC,IAAI,GAAG,EAAE,GAAG;oBAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;gBACtE,MAAM;YACR,CAAC;YACD,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG,CAAC;YACT,KAAK,GAAG;gBACN,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;gBACpB,MAAM;YACR,KAAK,GAAG,EAAE,CAAC;gBACT,MAAM,CAAC,GAAG,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC;gBAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC;oBAChB,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC;gBAClB,CAAC;gBACD,MAAM,EAAE,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3F,MAAM,GAAG,GAAG,oDAAoD,EAAE,YAAY,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC;gBAC7K,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACzG,CAAC;YACD;gBACE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/tex/host.d.ts

@@ -0,0 +1,82 @@
+import type { EngineImports, WasmInstance } from "./wasm.ts";
+import { type TexTree } from "./vfs.ts";
+/**
+ * The default bound on the bytes that one run writes, in the terminal output and in the output files together.
+ * It is 64 MiB: the log, the DVI and the terminal of a render hold well under 1 MiB, and the format build writes about 24 MB.
+ * A caller sets another bound with `maxOutputBytes`, for example from the `maxMemoryMb` key of the configuration.
+ */
+export declare const DEFAULT_MAX_OUTPUT_BYTES: number;
+/** Thrown by the `hostexit` import to leave the program with an exit code. */
+export declare class ExitSignal extends Error {
+    readonly code: number;
+    constructor(code: number);
+}
+/** The options of the host. */
+export interface HostOptions {
+    /** The virtual file tree. Output files go to the tree when the program closes them. */
+    files: TexTree;
+    /** The lines of terminal input. */
+    terminal?: string[];
+    /** The slot addresses of the standard files `input` and `output`. */
+    std: {
+        input: number;
+        output: number;
+    };
+    /** More imports (external procedures). */
+    extra?: Record<string, (...args: number[]) => unknown>;
+    /** The names that mean the terminal. The default is `TTY:`. */
+    ttyNames?: string[];
+    /**
+     * Turns a file name of the program into the key of the tree. The default is `treeName`.
+     * A caller key must return a name that `treeName` accepts, because the tree reduces the key again.
+     */
+    nameKey?: (raw: string) => string;
+    /** Echo the terminal input lines to the terminal output, as a terminal does. The default is true. */
+    echo?: boolean;
+    /** The time in milliseconds on the `performance.now()` clock after which a host call throws `E_TIMEOUT`. */
+    deadline?: number;
+    /** The time limit in milliseconds, for the message of the timeout. */
+    timeoutMs?: number;
+    /** The bound on the bytes that the run writes to the terminal and to files. The default is `DEFAULT_MAX_OUTPUT_BYTES`. */
+    maxOutputBytes?: number;
+}
+/** The host of one run. */
+export declare class TexHost {
+    private readonly files;
+    private readonly std;
+    private readonly extra;
+    private readonly ttyNames;
+    private readonly echoInput;
+    private readonly nameKey;
+    private readonly termIn;
+    private readonly termOut;
+    private readonly handles;
+    private mem;
+    private dv;
+    private ticks;
+    private outputBytes;
+    private readonly maxOutputBytes;
+    private readonly refusedNames;
+    private readonly deadline;
+    private readonly timeoutMs;
+    constructor(o: HostOptions);
+    /** Connects the host to the instance, whose memory the host functions read and write. */
+    attach(instance: WasmInstance): void;
+    /** The text that the program wrote to the terminal. */
+    terminalText(): string;
+    /** The file names that the program tried to open and that escape the tree. Each open failed. */
+    get refused(): string[];
+    /** Stores every file that is still open for writing. */
+    finish(): void;
+    private flush;
+    private charge;
+    private tick;
+    private handleOf;
+    private newHandle;
+    private name;
+    private fill;
+    private echo;
+    private eofOf;
+    /** The import object for `WebAssembly.instantiate`. */
+    imports(): EngineImports;
+}