parser-impl/it.unibo.tuprolog.parser.sources/SourceSpan

SourceSpan

data class SourceSpan(val start: SourcePosition, val endExclusive: SourcePosition)

End-exclusive range in one source.

Throws

IllegalArgumentException

if endExclusive precedes start

Constructors

constructor(start: SourcePosition, endExclusive: SourcePosition)

Properties

val endExclusive: SourcePosition

first position outside the range

val length: Int

Length of the range in UTF-16 code units.

val start: SourcePosition

inclusive absolute position