SourceLines
@Js
class SourceLines : Obj
A set of lines (SourceLine) from the input source.
Void addLine(SourceLine line)
Str content()
static new empty()
Bool isEmpty()
SourceLine[] : lines
new make(SourceLine[] lines)
new makeOne(SourceLine line)
SourceSpan[] sourceSpans()