Mark
constructor(name: String, index: Int, line: Int, column: Int, codepoints: List<Int>, pointer: Int = 0)(source)
Parameters
name
the name of the data stream, to be used as identifier
index
the index from the beginning of the stream
line
line of the mark from beginning of the stream
column
column of the mark from beginning of the line
codepoints
the data
pointer
the index of the character in codepoints that will be marked