Type Members

1.  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.

2.  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

3.  case class LocationLink(targetUri: String, targetRange: Range, targetSelectionRange: Range, originSelectionRange: Option[Range] = None) extends Product with Serializable
4.  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 character value represents the gap between the character and character + 1. If the character value is greater than the line length it defaults back to the line length

   Annotations

   @JSExportAll() @JSExportTopLevel( "Position" )

5.  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.

   Annotations

   @JSExportAll() @JSExportTopLevel( "Range" )

6.  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.

7.  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.

8.  trait TextDocumentPositionParams extends AnyRef

   A parameter literal used in requests to pass a text document and a position inside that document.

9.  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.