TextPatch

data class TextPatch(val start: CursorPosition, val end: CursorPosition, val text: String)

A text replacement within a document.

Parameters

start

the start position of the replaced region, inclusive

end

the end position of the replaced region, exclusive

text

the replacement text. An empty string deletes the region, and a patch with start == end inserts at that position

Constructors

Link copied to clipboard
constructor(start: CursorPosition, end: CursorPosition, text: String)

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
fun TextPatch.toLsp4j(): TextEdit