PositionMaker
Constructor for the PositionMaker
Parameters
index
The PositionMaker.index of the position
column
The PositionMaker.column of the position
line
The PositionMaker.line of the position
source
the CharacterSource the chars come from
constructor(index: Int, column: Int, line: Int, lineSeparators: IntArray, source: CharacterSource)(source)
Constructor for the PositionMaker
Parameters
index
The PositionMaker.index of the position
column
The PositionMaker.column of the position
line
The PositionMaker.line of the position
lineSeparators
The PositionMaker.lineSeparators of the position
source
the CharacterSource the chars come from
Constructor for the PositionMaker
Parameters
source
the CharacterSource the chars come from