Function serializeRenderResult

src/Source.ts:165–266

(
    { rootSource, names }: RenderResult,
    indentation: string
)

}

export function serializeRenderResult(
    { rootSource, names }: RenderResult,
    indentation: string
): SerializedRenderResult {
    let indent = 0;
    let indentNeeded = 0;

    const lines: string[] = [];
    let currentLine: string[] = [];
    const annotations: Annotation[] = [];

    function indentIfNeeded(): void {
        if (indentNeeded === 0) return;
        currentLine.push(_.repeat(indentation, indentNeeded));
        indentNeeded = 0;
    }

    function flattenCurrentLine(): string {
        const str = currentLine.join("");
        currentLine = [str];
        return str;
    }

    function currentLocation(): Location {
        return { line: lines.length, column: flattenCurrentLine().length };
    }

    function finishLine(): void {
        lines.push(flattenCurrentLine());
        currentLine = [];
    }

    function serializeToStringArray(source: Source): void {
        switch (source.kind) {
            case "text":
                indentIfNeeded();
                currentLine.push(source.text);
                break;
            case "newline":
                finishLine();
                indent += source.indentationChange;
                indentNeeded = indent;
                break;
            case "sequence":
                source.sequence.forEach((s: Source) => serializeToStringArray(s));
                break;
            case "table":
                const t = source.table;
                const widths = t
                    .map((l: List<Source>) => l.map((s: Source) => sourceLineLength(s, names)).toList())
                    .toList();
                const numRows = t.size;
                if (numRows === 0) break;
                const numColumns = defined(t.map((l: List<Source>) => l.size).max());
                if (numColumns === 0) break;
                const columnWidths = defined(
                    Range(0, numColumns).map((i: number) => widths.map((l: List<number>) => l.get(i) || 0).max())
                );