class

SourceLines

@Js
class SourceLines : Obj

A set of lines (SourceLine) from the input source.

constructors empty

make

makeOne

fields lines

methods addLine

content

isEmpty

sourceSpans

addLine Void addLine(SourceLine line)

content Str content()

empty static new empty()

isEmpty Bool isEmpty()

lines SourceLine[] : lines

make new make(SourceLine[] lines)

makeOne new makeOne(SourceLine line)

sourceSpans SourceSpan[] sourceSpans()

Haxall 4.0.6 ∙ 21-Jul-2026 09:48 EDT