with

fun with(start: Position = definedExternally, end: Position = definedExternally): Range(source)

Derived a new range from this range.

Parameters

start

A position that should be used as start. The default value is the current start.

end

A position that should be used as end. The default value is the current end.


Derived a new range from this range.

Parameters

change

An object that describes a change to this range.