with

fun with(line: Int = definedExternally, character: Int = definedExternally): Position(source)

Create a new position derived from this position.

Parameters

line

Value that should be used as line value, default is the existing value

character

Value that should be used as character value, default is the existing value


Derived a new position from this position.

Parameters

change

An object that describes a change to this position.