TextDocumentItem
in package
An item to transfer a text document from the client to the server.
Table of Contents
Properties
- $languageId : string
- The text document's language identifier.
- $text : string
- The content of the opened text document.
- $uri : string
- The text document's URI.
- $version : int
- The version number of this document (it will strictly increase after each change, including undo/redo).
Methods
- __construct() : mixed
Properties
$languageId
The text document's language identifier.
public
string
$languageId
$text
The content of the opened text document.
public
string
$text
$uri
The text document's URI.
public
string
$uri
$version
The version number of this document (it will strictly increase after each change, including undo/redo).
public
int
$version
Methods
__construct()
public
__construct([string|null $uri = null ][, string|null $languageId = null ][, int|null $version = null ][, string|null $text = null ]) : mixed
Parameters
- $uri : string|null = null
- $languageId : string|null = null
- $version : int|null = null
- $text : string|null = null