Function sourceLineLength

src/Source.ts:142–163

(source: Source, names: Map<Name, string>)

}

function sourceLineLength(source: Source, names: Map<Name, string>): number {
    switch (source.kind) {
        case "text":
            return source.text.length;
        case "newline":
            return panic("Newline must not occur within a line.");
        case "sequence":
            return source.sequence
                .map((s: Source) => sourceLineLength(s, names))
                .reduce((a: number, b: number) => a + b, 0);
        case "table":
            return panic("Table must not occur within a  line.");
        case "annotated":
            return sourceLineLength(source.source, names);
        case "name":
            return defined(names.get(source.named)).length;
        case "modified":
            return serializeRenderResult({ rootSource: source, names }, "").lines.join("\n").length;
        default:
            return assertNever(source);
    }
}

export function serializeRenderResult(
    { rootSource, names }: RenderResult,