package common
- Alphabetic
- Public
- All
Type Members
-
sealed
trait
DocumentIdentifier extends AnyRef
Text documents are identified using a URI.
Text documents are identified using a URI. On the protocol level, URIs are passed as strings.
-
case class
Location(uri: String, range: Range) extends Product with Serializable
Represents a location inside a resource, such as a line inside a text file.
Represents a location inside a resource, such as a line inside a text file.
- uri
Document URI
- range
Range represented by the location
-
case class
Position(line: Int, character: Int) extends Product with Serializable
Position in a text document expressed as zero-based line and zero-based character offset.
Position in a text document expressed as zero-based line and zero-based character offset. A position is between two characters like an ‘insert’ cursor in a editor. Special values like for example -1 to denote the end of a line are not supported.
- line
Line position in a document (zero-based).
- character
Character offset on a line in a document (zero-based). Assuming that the line is represented as a string, the
charactervalue represents the gap between thecharacterandcharacter + 1. If the character value is greater than the line length it defaults back to the line length
-
case class
Range(start: Position, end: Position) extends Product with Serializable
A range in a text document expressed as (zero-based) start and end positions.
A range in a text document expressed as (zero-based) start and end positions. A range is comparable to a selection in an editor. Therefore the end position is exclusive. If you want to specify a range that contains a line including the line ending character(s) then use an end position denoting the start of the next line.
- start
The range's start position.
- end
The range's end position.
-
case class
TextDocumentIdentifier(uri: String) extends DocumentIdentifier with Product with Serializable
Most simple Text Document Identifier
Most simple Text Document Identifier
- uri
The text document's URI.
-
case class
TextDocumentItem(uri: String, languageId: String, version: Int, text: String) extends Product with Serializable
An item to transfer a text document from the client to the server.
An item to transfer a text document from the client to the server.
- uri
The text document's URI.
- languageId
The text document's language identifier.
- version
The version number of this document (it will increase after each change, including undo/redo).
- text
The content of the opened text document.
-
trait
TextDocumentPositionParams extends AnyRef
A parameter literal used in requests to pass a text document and a position inside that document.
-
case class
VersionedTextDocumentIdentifier(uri: String, version: Option[Int]) extends DocumentIdentifier with Product with Serializable
An identifier to denote a specific version of a text document.
An identifier to denote a specific version of a text document.
- uri
The text document's URI.
- version
The version number of this document. If a versioned text document identifier is sent from the server to the client and the file is not open in the editor (the server has not received an open notification before) the server can send {{None}} to indicate that the version is known and the content on disk is the truth. The version number of a document will increase after each change, including undo/redo. The number doesn't need to be consecutive.
Value Members
- object TextDocumentPositionParams