@danielsimonjr/sciengjs 0.9.0 → 1.0.0

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;
+}