with
external 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.