PositionMapping

An algorithm mapping Position form two corresponding files.

Constructors

Link copied to clipboard

Types

Link copied to clipboard
interface PositionUpdate
Algorithm updating a Position from one file to a Position in a corresponding file.

Functions

Link copied to clipboard
open fun isEmpty(): Boolean
Whether this is the identity transformation.
Link copied to clipboard
Looks up the PositionUpdate for the given Position.
Link copied to clipboard
open fun transform(pos: Position): Position
Transforms the given Position.
open fun transform(range: Range): Range
Transforms the given Range.