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

SourcePosition

data class SourcePosition(val offset: Int, val line: Int, val column: Int)

A position in the complete input.

offset, line, and column are zero-based. Offsets and columns count UTF-16 code units, as used by Kotlin String indexing.

Constructors

constructor(offset: Int, line: Int, column: Int)

Properties

val column: Int

zero-based UTF-16 column within line

absolute zero-based line

val offset: Int

absolute UTF-16 offset