text-doc-ir 0.0.13 → 0.1.0

package/script/main.js

@@ -1,957 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.FixedWidthTextVisitor = void 0;
-const baseEncoder_js_1 = require("./baseEncoder.js");
-const deps_js_1 = require("./deps.js");
-class FixedWidthTextVisitor extends deps_js_1.NodeVisitor {
-    constructor(width) {
-        super();
-        Object.defineProperty(this, "width", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "lines", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "lazyLines", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "breakLazy", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "spaceLazy", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "breakCount", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "eatSpaces", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        Object.defineProperty(this, "state", {
-            enumerable: true,
-            configurable: true,
-            writable: true,
-            value: void 0
-        });
-        this.width = width;
-        this.lines = [];
-        this.lazyLines = [];
-        this.breakLazy = false;
-        this.spaceLazy = false;
-        this.breakCount = 0;
-        this.eatSpaces = true;
-        this.state = {
-            images: new Map(),
-            imagesReverse: new Map(),
-            imageCount: 0,
-            links: new Map(),
-            linksReverse: new Map(),
-            linkCount: 0,
-            numericDepth: 0,
-            tocDepth: 0,
-        };
-    }
-    setState(state) {
-        this.state = state;
-    }
-    restoreState(parent) {
-        parent.state.imageCount = this.state.imageCount;
-        parent.state.linkCount = this.state.linkCount;
-    }
-    text(node) {
-        this.pushText(node.text);
-    }
-    formattedText(node) {
-        this.pushBlockContentBegin();
-        for (const line of node.text.split("\n")) {
-            this.pushLine();
-            this.eatSpaces = false;
-            this.pushText(line);
-        }
-        this.pushBlockContentEnd();
-    }
-    // deno-lint-ignore no-unused-vars
-    horizontalRule(node) {
-        this.pushBlockContentBegin();
-        this.pushText("-".repeat(this.width));
-        this.pushBlockContentEnd();
-    }
-    // deno-lint-ignore no-unused-vars
-    break_(node) {
-        this.breakCount++;
-    }
-    paragraph(node) {
-        this.pushBlockContentBegin();
-        super.paragraph(node);
-        this.pushBlockContentEnd();
-    }
-    list(node) {
-        if (this.lines.length > 0) {
-            this.breakLazy = true;
-        }
-        this.lazyLines = [];
-        this.pushBlockContentBegin();
-        if (node.style == "ordered") {
-            let counter = 0;
-            const widthOffset = 4 + this.counterToDepth(node.content.length).length;
-            for (const item of node.content) {
-                counter++;
-                if (counter > 1) {
-                    this.lines.push("");
-                }
-                const counterText = this.counterToDepth(counter);
-                const visitor = new FixedWidthTextVisitor(this.width - widthOffset);
-                visitor.setState({
-                    ...this.state,
-                    numericDepth: this.state.numericDepth + 1,
-                });
-                visitor.visit({ type: "array", content: item.content });
-                const lines = visitor.getLines();
-                for (let i = 0; i < lines.length; i++) {
-                    if (i == 0) {
-                        this.lines.push(`${" ".repeat(widthOffset - counterText.length - 2)}${counterText}. ${lines[0]}`);
-                    }
-                    else {
-                        if (lines[i] == "") {
-                            this.lines.push("");
-                        }
-                        else {
-                            this.lines.push(" ".repeat(widthOffset) + lines[i]);
-                        }
-                    }
-                }
-                visitor.restoreState(this);
-            }
-        }
-        else {
-            for (const item of node.content) {
-                const visitor = new FixedWidthTextVisitor(this.width - 5);
-                visitor.setState({ ...this.state, numericDepth: 0 });
-                visitor.visit({ type: "array", content: item.content });
-                const lines = visitor.getLines();
-                for (let i = 0; i < lines.length; i++) {
-                    if (i == 0) {
-                        this.lines.push("  *  " + lines[0]);
-                    }
-                    else {
-                        this.lines.push("     " + lines[i]);
-                    }
-                }
-                visitor.restoreState(this);
-            }
-        }
-        this.pushBlockContentEnd();
-    }
-    columns(node) {
-        const count = node["column-count"];
-        if (count == 1) {
-            this.visit({ type: "array", content: node.columns[0] });
-            return;
-        }
-        let consumedWidth = 0;
-        const generalWidth = Math.floor((this.width - ((count - 1) * 2)) / count);
-        const columns = [];
-        let maxLines = 0;
-        for (let i = 0; i < count; i++) {
-            if (i > 0) {
-                consumedWidth += 2;
-            }
-            const width = i == count - 1 ? this.width - consumedWidth : generalWidth;
-            const visitor = new FixedWidthTextVisitor(width);
-            visitor.setState({ ...this.state, numericDepth: 0 });
-            visitor.visit({ type: "array", content: node.columns[i] });
-            const lines = visitor.getLines();
-            columns.push(lines);
-            maxLines = Math.max(maxLines, lines.length);
-            consumedWidth += width;
-            visitor.restoreState(this);
-        }
-        this.pushBlockContentBegin();
-        for (let i = 0; i < maxLines; i++) {
-            let line = "";
-            for (let j = 0; j < count; j++) {
-                if (j > 0) {
-                    line += "  ";
-                }
-                const colLine = columns[j][i] || "";
-                line += colLine + " ".repeat(generalWidth - colLine.length);
-            }
-            this.lines.push(line.trimEnd());
-        }
-        this.pushBlockContentEnd();
-    }
-    link(node) {
-        super.link(node);
-        if (this.state.linkCount == 83) {
-            // console.log(JSON.stringify(this.state));
-        }
-        let key;
-        if (this.state.links.has(node.url)) {
-            key = this.state.links.get(node.url) || "unreachable";
-        }
-        else {
-            this.state.linkCount++;
-            key = `L${this.state.linkCount}`;
-            this.state.links.set(node.url, key);
-            this.state.linksReverse.set(key, node.url);
-        }
-        this.spaceLazy = true;
-        if (this.spaceLazy && this.lines.length > 0 &&
-            this.lines[this.lines.length - 1].match(/[{\(\[]$/)) {
-            this.spaceLazy = false;
-        }
-        this.pushText(`[${key}]`);
-        this.spaceLazy = true;
-    }
-    image(node) {
-        let key;
-        if (this.state.images.has(node.url)) {
-            key = this.state.images.get(node.url) || "unreachable";
-        }
-        else {
-            this.state.imageCount++;
-            key = `I${this.state.imageCount}`;
-            this.state.images.set(node.url, key);
-            this.state.imagesReverse.set(key, node.url);
-        }
-        this.pushBlockContentBegin();
-        this.pushText(`[${key}: `);
-        this.pushText((node.alt || "unspecified").replaceAll(/[\n\r\t]/g, " "));
-        this.pushText("]");
-        this.pushBlockContentEnd();
-    }
-    figureImage(node) {
-        let key;
-        if (this.state.images.has(node.url)) {
-            key = this.state.images.get(node.url) || "unreachable";
-        }
-        else {
-            this.state.imageCount++;
-            key = `I${this.state.imageCount}`;
-            this.state.images.set(node.url, key);
-        }
-        this.pushBlockContentBegin();
-        this.pushText(`[${key}: `);
-        this.pushText((node.alt || "unspecified").replaceAll(/[\n\r\t]/g, " "));
-        this.pushText("]");
-        this.pushBlockContentEnd();
-        this.visit({
-            type: "paragraph",
-            content: node.content,
-        });
-    }
-    emoji(node) {
-        let key;
-        if (this.state.images.has(node.url)) {
-            key = this.state.images.get(node.url) || "unreachable";
-        }
-        else {
-            this.state.imageCount++;
-            key = `I${this.state.imageCount}`;
-            this.state.images.set(node.url, key);
-        }
-        this.spaceLazy = true;
-        this.pushText(`[${key}: ${(node.alt || "unspecified").replaceAll(/[\n\r\t]/g, " ")}]`);
-        this.spaceLazy = true;
-    }
-    video(node) {
-        this.image({
-            type: "image",
-            url: node.poster,
-            alt: `Video: ${node.alt || "unspecified"}`,
-        });
-    }
-    embed(node) {
-        if (node.content.type == "youtube") {
-            this.spaceLazy = true;
-            this.link({
-                type: "link",
-                url: `https://youtu.be/${node.content.id}`,
-                content: [{ type: "text", text: "Youtube Video" }],
-            });
-        }
-    }
-    header(node) {
-        const startIndex = this.lines.length;
-        super.header(node);
-        const end = this.lines.length;
-        let maxWidth = 1;
-        for (let i = startIndex; i < end; i++) {
-            const line = this.lines[i];
-            maxWidth = Math.min(this.width, line.length);
-        }
-        this.pushLine();
-        let border = "=";
-        if (node.level == 2) {
-            border = "-";
-        }
-        else if (node.level == 3) {
-            border = "^";
-        }
-        else if (node.level == 4) {
-            border = '"';
-        }
-        else if (node.level == 5) {
-            border = "'";
-        }
-        else if (node.level == 6) {
-            border = "`";
-        }
-        this.lines[this.lines.length - 1] = border.repeat(maxWidth);
-        this.breakLazy = false;
-        this.lazyLines = [""];
-    }
-    strikeThrough(node) {
-        this.pushText("(Strike through: ");
-        super.strikeThrough(node);
-        this.pushText(")");
-    }
-    note(node) {
-        this.paragraph({
-            type: "paragraph",
-            content: [
-                { type: "text", text: "Note: " },
-                ...node.content,
-            ],
-        });
-    }
-    center(node) {
-        const visitor = new FixedWidthTextVisitor(this.width);
-        visitor.setState({ ...this.state, numericDepth: 0 });
-        visitor.visit({
-            type: "array",
-            content: node.content,
-        });
-        this.pushBlockContentBegin();
-        for (const line of visitor.getLines()) {
-            this.pushEndOfLineIfAnyContent();
-            this.lines[Math.max(0, this.lines.length - 1)] =
-                " ".repeat(Math.floor((this.width - line.length) / 2)) + line;
-        }
-        visitor.restoreState(this);
-        this.pushBlockContentEnd();
-    }
-    warning(node) {
-        this.pushBlockContentBegin();
-        const visitor = new FixedWidthTextVisitor(this.width - 2);
-        visitor.setState({ ...this.state, numericDepth: 0 });
-        visitor.visit({
-            type: "array",
-            content: node.content,
-        });
-        for (const line of visitor.getLines()) {
-            this.pushEndOfLineIfAnyContent();
-            this.lines[Math.max(0, this.lines.length - 1)] = "| " + line;
-        }
-        visitor.restoreState(this);
-        this.pushBlockContentEnd();
-    }
-    highTechAlert(node) {
-        this.pushBlockContentBegin();
-        this.pushText("/");
-        this.pushText("-".repeat(this.width - 2));
-        this.pushText("\\");
-        const centerVisitor = new FixedWidthTextVisitor(this.width - 4);
-        centerVisitor.setState({ ...this.state, numericDepth: 0 });
-        centerVisitor.center({
-            type: "center",
-            content: node.warning,
-        });
-        let anyWarningLines = false;
-        for (const line of centerVisitor.getLines()) {
-            anyWarningLines = true;
-            this.pushEndOfLineIfAnyContent();
-            this.lines[this.lines.length - 1] = "| " + line +
-                " ".repeat(this.width - 4 - line.length) + " |";
-        }
-        if (anyWarningLines) {
-            this.pushLine();
-            this.pushText("|" + "-".repeat(this.width - 2) + "|");
-        }
-        centerVisitor.restoreState(this);
-        const contentVisitor = new FixedWidthTextVisitor(this.width - 4);
-        contentVisitor.setState({ ...this.state, numericDepth: 0 });
-        contentVisitor.visit({
-            type: "array",
-            content: node.content,
-        });
-        for (const line of contentVisitor.getLines()) {
-            this.pushEndOfLineIfAnyContent();
-            this.lines[this.lines.length - 1] = "| " + line +
-                " ".repeat(this.width - 4 - line.length) + " |";
-        }
-        this.pushEndOfLineIfAnyContent();
-        this.pushText("\\");
-        this.pushText("-".repeat(this.width - 2));
-        this.pushText("/");
-        contentVisitor.restoreState(this);
-        this.pushBlockContentEnd();
-    }
-    blockQuote(node) {
-        this.pushBlockContentBegin();
-        const visitor = new FixedWidthTextVisitor(this.width - 2);
-        visitor.setState({ ...this.state, numericDepth: 0 });
-        visitor.visit({
-            type: "array",
-            content: node.content,
-        });
-        for (const line of visitor.getLines()) {
-            this.pushEndOfLineIfAnyContent();
-            this.lines[Math.max(0, this.lines.length - 1)] = "> " + line;
-        }
-        visitor.restoreState(this);
-        this.pushBlockContentEnd();
-    }
-    quote(node) {
-        this.pushBlockContentBegin();
-        const visitor = new FixedWidthTextVisitor(this.width - 2);
-        visitor.setState({ ...this.state, numericDepth: 0 });
-        visitor.visit({
-            type: "array",
-            content: [
-                { type: "text", text: node.name },
-                { type: "break" },
-                { type: "break" },
-                ...node.content,
-            ],
-        });
-        for (const line of visitor.getLines()) {
-            this.pushEndOfLineIfAnyContent();
-            this.lines[Math.max(0, this.lines.length - 1)] = "> " + line;
-        }
-        visitor.restoreState(this);
-        this.pushBlockContentEnd();
-    }
-    bubble(node) {
-        this.pushBlockContentBegin();
-        const visitor = new FixedWidthTextVisitor(this.width - 4);
-        visitor.setState({ ...this.state, numericDepth: 0 });
-        visitor.visit({
-            type: "array",
-            content: [
-                ...node.content,
-            ],
-        });
-        for (const line of visitor.getLines()) {
-            this.pushEndOfLineIfAnyContent();
-            if (node.orientation == "left") {
-                this.lines[Math.max(0, this.lines.length - 1)] = "| " + line;
-            }
-            else if (node.orientation == "right") {
-                this.lines[Math.max(0, this.lines.length - 1)] =
-                    " ".repeat(this.width - 2 - line.length) + line + " |";
-            }
-        }
-        visitor.restoreState(this);
-        this.pushBlockContentEnd();
-    }
-    sticker(node) {
-        this.pushBlockContentBegin();
-        const visitor = new FixedWidthTextVisitor(this.width - 4);
-        visitor.setState({ ...this.state, numericDepth: 0 });
-        visitor.visit({
-            type: "array",
-            content: [
-                ...(node.content || []),
-            ],
-        });
-        this.pushEndOfLineIfAnyContent();
-        const label = `[${node.character}: ${node.name}]`;
-        if (node.orientation == "left") {
-            this.lines[Math.max(0, this.lines.length - 1)] = "/" + label +
-                "-".repeat(this.width - label.length - 2) + "\\";
-        }
-        else if (node.orientation == "right") {
-            this.lines[Math.max(0, this.lines.length - 1)] = "/" +
-                "-".repeat(this.width - label.length - 2) + label + "\\";
-        }
-        else if (node.orientation == "center") {
-            const length = this.width - label.length - 2;
-            const leftLength = Math.floor(length / 2);
-            const rightLength = length - leftLength;
-            this.lines[Math.max(0, this.lines.length - 1)] = "/" +
-                "-".repeat(leftLength) + label + "-".repeat(rightLength) + "\\";
-        }
-        for (const line of visitor.getLines()) {
-            this.pushEndOfLineIfAnyContent();
-            const length = this.width - 3 - line.length;
-            if (node.orientation == "left") {
-                this.lines[Math.max(0, this.lines.length - 1)] = "| " + line +
-                    " ".repeat(length) + "|";
-            }
-            else if (node.orientation == "right") {
-                this.lines[Math.max(0, this.lines.length - 1)] = "|" +
-                    " ".repeat(length) + line + " |";
-            }
-            else if (node.orientation == "center") {
-                const leftLength = Math.floor(length / 2);
-                const rightLength = length - leftLength;
-                this.lines[Math.max(0, this.lines.length - 1)] = "|" +
-                    " ".repeat(leftLength + 1) + line + " ".repeat(rightLength) + "|";
-            }
-        }
-        this.pushEndOfLineIfAnyContent();
-        this.pushText("\\");
-        this.pushText("-".repeat(this.width - 2));
-        this.pushText("/");
-        visitor.restoreState(this);
-        this.pushBlockContentEnd();
-    }
-    card(node) {
-        this.pushBlockContentBegin();
-        this.pushText("/");
-        this.pushText("-".repeat(this.width - 2));
-        this.pushText("\\");
-        let anyHeaderLines = false;
-        if (node.header) {
-            const centerVisitor = new FixedWidthTextVisitor(this.width - 4);
-            centerVisitor.setState({ ...this.state, numericDepth: 0 });
-            centerVisitor.center({
-                type: "center",
-                content: [
-                    ...node.header.title,
-                    ...(node.header.username &&
-                        [{
-                                type: "text",
-                                text: ` @${node.header.username}`,
-                            }] || []),
-                    ...(node.header.username &&
-                        [{
-                                type: "text",
-                                text: `@${node.header.usernameDomain}`,
-                            }] || []),
-                ],
-            });
-            for (const line of centerVisitor.getLines()) {
-                anyHeaderLines = true;
-                this.pushEndOfLineIfAnyContent();
-                this.lines[this.lines.length - 1] = "| " + line +
-                    " ".repeat(this.width - 4 - line.length) + " |";
-            }
-            if (anyHeaderLines) {
-                this.pushLine();
-                this.pushText("|" + "-".repeat(this.width - 2) + "|");
-            }
-            centerVisitor.restoreState(this);
-        }
-        const contentVisitor = new FixedWidthTextVisitor(this.width - 4);
-        contentVisitor.setState({ ...this.state, numericDepth: 0 });
-        const content = [
-            ...(node.content && node.content.content || []),
-            ...(node.media && node.media.content || []),
-        ];
-        if (node.attribution) {
-            let date;
-            if (node.attribution.date) {
-                try {
-                    date = new Date(node.attribution.date);
-                }
-                catch (_e) {
-                    // Oh well
-                }
-            }
-            content.push({
-                type: "paragraph",
-                content: [
-                    ...(node.attribution.title || []),
-                    ...(node.attribution.url && [{
-                            type: "link",
-                            url: node.attribution.url,
-                            content: [],
-                        }] || []),
-                    ...(node.attribution.archiveUrl && [{
-                            type: "link",
-                            url: node.attribution.archiveUrl,
-                            content: [],
-                        }] || []),
-                    ...(date && [{
-                            type: "text",
-                            text: date.toLocaleDateString(),
-                        }] || []),
-                ],
-            });
-        }
-        contentVisitor.visit({
-            type: "array",
-            content,
-        });
-        for (const line of contentVisitor.getLines()) {
-            this.pushEndOfLineIfAnyContent();
-            this.lines[this.lines.length - 1] = "| " + line +
-                " ".repeat(this.width - 4 - line.length) + " |";
-        }
-        this.pushEndOfLineIfAnyContent();
-        this.pushText("\\");
-        this.pushText("-".repeat(this.width - 2));
-        this.pushText("/");
-        contentVisitor.restoreState(this);
-        this.pushBlockContentEnd();
-    }
-    definitionReference(node) {
-        this.visit({
-            type: "array",
-            content: [
-                ...node.content,
-            ],
-        });
-    }
-    definition(node) {
-        this.pushBlockContentBegin();
-        this.chooseChildren(node.title);
-        this.pushText(" (");
-        this.chooseChildren(node.abbreviation);
-        this.pushText("):");
-        this.pushLine();
-        const visitor = new FixedWidthTextVisitor(this.width - 2);
-        visitor.setState({ ...this.state, numericDepth: 0 });
-        visitor.visit({
-            type: "array",
-            content: node.content,
-        });
-        for (const line of visitor.getLines()) {
-            this.pushEndOfLineIfAnyContent();
-            this.lines[Math.max(0, this.lines.length - 1)] = "  " + line;
-        }
-        visitor.restoreState(this);
-        this.pushBlockContentEnd();
-    }
-    toc(node) {
-        if (this.state.tocDepth > 0) {
-            const visitor = new FixedWidthTextVisitor(this.width - 3);
-            visitor.setState({ ...this.state, tocDepth: this.state.tocDepth + 1 });
-            if (node.date) {
-                visitor.choose(node.date);
-                visitor.pushText(" ");
-            }
-            visitor.chooseChildren(node.content);
-            if (node.href && !node.href.startsWith("#")) {
-                visitor.link({
-                    type: "link",
-                    url: node.href,
-                    content: [],
-                });
-                visitor.spaceLazy = true;
-            }
-            visitor.restoreState(this);
-            visitor.visit({
-                type: "array",
-                content: node.children,
-            });
-            let counter = 0;
-            for (const line of visitor.getLines()) {
-                this.pushEndOfLineIfAnyContent();
-                // First line gets a bullet point
-                if (counter == 0) {
-                    this.lines[Math.max(0, this.lines.length - 1)] = "* " + line;
-                }
-                else {
-                    this.lines[Math.max(0, this.lines.length - 1)] = "  " + line;
-                }
-                counter++;
-            }
-            visitor.restoreState(this);
-        }
-        else {
-            const visitor = new FixedWidthTextVisitor(this.width - 4);
-            visitor.setState({ ...this.state, tocDepth: this.state.tocDepth + 1 });
-            if (node.date) {
-                visitor.choose(node.date);
-                visitor.pushText(" ");
-            }
-            visitor.chooseChildren(node.content);
-            if (node.href && !node.href.startsWith("#")) {
-                visitor.link({
-                    type: "link",
-                    url: node.href,
-                    content: [],
-                });
-                visitor.spaceLazy = true;
-            }
-            visitor.pushLine();
-            visitor.visit({
-                type: "array",
-                content: node.children,
-            });
-            const tocLen = " Table of contents ".length;
-            const lines = visitor.getLines();
-            const maxLength = lines.reduce((prev, next) => Math.max(prev, next.length + 1), tocLen + 2);
-            const left = Math.floor((maxLength - tocLen) / 2) + 1;
-            const right = maxLength - tocLen - left + 1;
-            this.pushBlockContentBegin();
-            this.lines[Math.max(0, this.lines.length - 1)] = "/" + "-".repeat(left) +
-                " Table of contents " + "-".repeat(right) + "\\";
-            for (const line of lines) {
-                this.pushEndOfLineIfAnyContent();
-                this.lines[Math.max(0, this.lines.length - 1)] = "| " + line +
-                    " ".repeat(maxLength - line.length) + "|";
-            }
-            this.pushEndOfLineIfAnyContent();
-            this.lines[Math.max(0, this.lines.length - 1)] = "\\" +
-                "-".repeat(maxLength + 1) + "/";
-            visitor.restoreState(this);
-            this.pushBlockContentEnd();
-        }
-    }
-    document(node) {
-        this.pushBlockContentBegin();
-        let date;
-        try {
-            if (node["pub-date"]) {
-                date = new Date(node["pub-date"] * 1000);
-            }
-        }
-        catch (_e) {
-            // Nothing
-        }
-        this.center({
-            type: "center",
-            content: [
-                { type: "text", text: node.title },
-                { type: "break" },
-                ...(date &&
-                    [{ type: "text", text: date.toDateString() }, {
-                            type: "break",
-                        }] || []),
-                ...(node.description &&
-                    [{ type: "text", text: node.description }] || []),
-                { type: "horizontal-rule" },
-            ],
-        });
-        super.document(node);
-        this.horizontalRule({ type: "horizontal-rule" });
-        if (this.state.linkCount > 0) {
-            const max = this.state.linkCount;
-            const length = Math.max(7, `[L${max}]: `.length);
-            for (let i = 1; i <= max; i++) {
-                const label = `[L${i}]: `;
-                const visitor = new FixedWidthTextVisitor(this.width - length);
-                visitor.text({
-                    "type": "text",
-                    text: this.state.linksReverse.get(`L${i}`) || "",
-                });
-                let firstLine = true;
-                for (const line of visitor.getLines()) {
-                    if (!firstLine) {
-                        this.lines.push(" ".repeat(length) + line);
-                    }
-                    else {
-                        this.lines.push(" ".repeat(length - label.length) + label + line);
-                        firstLine = false;
-                    }
-                }
-            }
-        }
-        if (this.state.imageCount > 0) {
-            const length = Math.max(7, `[L${this.state.imageCount}]: `.length);
-            for (let i = 1; i <= this.state.imageCount; i++) {
-                const label = `[I${i}]: `;
-                const visitor = new FixedWidthTextVisitor(this.width - length);
-                visitor.text({
-                    "type": "text",
-                    text: this.state.imagesReverse.get(`I${i}`) || "",
-                });
-                let firstLine = true;
-                for (const line of visitor.getLines()) {
-                    if (!firstLine) {
-                        this.lines.push(" ".repeat(length) + line);
-                    }
-                    else {
-                        this.lines.push(" ".repeat(length - label.length) + label + line);
-                        firstLine = false;
-                    }
-                }
-            }
-        }
-    }
-    counterToDepth(counter) {
-        const num = this.state.numericDepth % 3;
-        if (num == 0) {
-            return `${counter}`;
-        }
-        else if (num == 1) {
-            return (0, baseEncoder_js_1.encodeBase)(baseEncoder_js_1.UPPER_ALPHA, counter, true);
-        }
-        else {
-            return (0, baseEncoder_js_1.encodeBase)(baseEncoder_js_1.LOWER_ALPHA, counter, true);
-        }
-    }
-    pushBlockContentBegin() {
-        this.pushLazyLines();
-        if (this.lines.length > 0) {
-            // Clear last line conditionally
-            this.pushEndOfLineIfAnyContent();
-        }
-    }
-    pushBlockContentEnd() {
-        this.lazyLines.push("");
-    }
-    pushLazyLines() {
-        let newLines = false;
-        if (this.breakCount > 0) {
-            this.breakCount--;
-            if (this.lines[this.lines.length - 1] &&
-                this.lines[this.lines.length - 1].length > 0) {
-                this.lines.push("");
-            }
-            while (this.breakCount > 0) {
-                this.breakCount--;
-                this.lines.push("");
-            }
-        }
-        if (this.breakLazy && this.lines[this.lines.length - 1] &&
-            this.lines[this.lines.length - 1].length > 0) {
-            this.lines.push("");
-            newLines = true;
-        }
-        if (this.lazyLines.length > 0) {
-            this.pushEndOfLineIfAnyContent();
-            newLines = true;
-        }
-        for (const line of this.lazyLines) {
-            this.lines.push(line);
-            newLines = true;
-        }
-        if (!newLines && this.spaceLazy && this.lines.length > 0) {
-            const lastLine = this.getLastLine();
-            if (!lastLine.endsWith(" ") && lastLine.length < this.width &&
-                lastLine.length > 0) {
-                this.lines[this.lines.length - 1] += " ";
-            }
-        }
-        if (this.getLastLine().length == this.width) {
-            this.lines.push("");
-        }
-        this.lazyLines = [];
-        this.breakLazy = false;
-        this.spaceLazy = false;
-    }
-    pushEndOfLineIfAnyContent() {
-        if (this.getLastLine() != "") {
-            this.pushLine();
-        }
-    }
-    getLastLine() {
-        if (this.lines.length == 0) {
-            return "";
-        }
-        return this.lines[this.lines.length - 1];
-    }
-    pushText(text) {
-        if (this.spaceLazy && text.match(/^[\.,}\)\]]/)) {
-            this.spaceLazy = false;
-        }
-        this.pushLazyLines();
-        let index = this.lines.length - 1;
-        let line;
-        if (index >= 0) {
-            line = this.lines[index];
-        }
-        else {
-            line = "";
-            index = 0;
-        }
-        let sliceStart = 0;
-        do {
-            if ((line == "" && this.eatSpaces) || line.endsWith(" ")) {
-                // skip white space
-                while (true) {
-                    const nextChar = text.slice(sliceStart, sliceStart + 1);
-                    if (nextChar == "") {
-                        break;
-                    }
-                    if (nextChar == " ") {
-                        sliceStart++;
-                    }
-                    else {
-                        break;
-                    }
-                }
-            }
-            this.eatSpaces = true;
-            let sliceEnd = sliceStart + this.width - line.length;
-            let slice = text.slice(sliceStart, sliceEnd);
-            const nextChar = text.slice(sliceEnd, sliceEnd + 1);
-            if (slice == "") {
-                break;
-            }
-            else if (nextChar && nextChar.match(/[a-zA-Z0-9\.\?,\]\)]/)) {
-                let success = false;
-                for (let i = 0; i < slice.length; i++) {
-                    const index = slice.length - 1 - i;
-                    const char = slice.charAt(index);
-                    if (char && char.match(/[ =\-_\/\\\n\r\t]/)) {
-                        sliceEnd -= i;
-                        slice = text.slice(sliceStart, sliceEnd);
-                        success = true;
-                        break;
-                    }
-                }
-                if (success) {
-                    this.lines[index] = line + slice;
-                    if (this.lines[index].length > this.width) {
-                        console.log("oops 1");
-                    }
-                }
-                else {
-                    if (this.getLastLine().length > 0) {
-                        sliceEnd = sliceStart;
-                        this.lines[index] = line;
-                    }
-                    else {
-                        // No choice but to break it;
-                        this.lines[index] = line + slice;
-                    }
-                }
-                this.pushLine();
-                index++;
-                line = this.lines[index];
-                sliceStart = sliceEnd;
-            }
-            else {
-                this.lines[index] = line + slice;
-                sliceStart = sliceEnd;
-                if (nextChar == "") {
-                    break;
-                }
-            }
-            if (this.lines[index].length == this.width) {
-                this.pushLine();
-                index++;
-                line = this.lines[index];
-            }
-        } while (true);
-    }
-    pushLine() {
-        const lastIndex = this.lines.length - 1;
-        if (lastIndex >= 0 && this.lines[lastIndex].endsWith(" ")) {
-            const line = this.lines[lastIndex];
-            this.lines[lastIndex] = line.trimEnd();
-        }
-        this.lines.push("");
-    }
-    getLines() {
-        return this.lines;
-    }
-}
-exports.FixedWidthTextVisitor = FixedWidthTextVisitor;