PositionUpdate

Algorithm updating a Position from one file to a Position in a corresponding file.

Properties

Link copied to clipboard

Functions

Link copied to clipboard
open fun transform(pos: Position): Position
The transformed position.
Link copied to clipboard
abstract fun transformColumn(column: Int): Int
Maps the given column to an original column.
Link copied to clipboard
abstract fun transformLine(line: Int): Int
Maps the given line to an original line.