Install psalm as dev, sync scripts updates

This commit is contained in:
Clemens Schwaighofer
2023-03-09 16:27:10 +09:00
parent 6bec59e387
commit feba79a2e8
2099 changed files with 283333 additions and 32 deletions

View File

@@ -0,0 +1,50 @@
<?php
namespace LanguageServerProtocol;
/**
* An item to transfer a text document from the client to the server.
*/
class TextDocumentItem
{
/**
* The text document's URI.
*
* @var string
*/
public $uri;
/**
* The text document's language identifier.
*
* @var string
*/
public $languageId;
/**
* The version number of this document (it will strictly increase after each
* change, including undo/redo).
*
* @var int
*/
public $version;
/**
* The content of the opened text document.
*
* @var string
*/
public $text;
public function __construct(string $uri = null, string $languageId = null, int $version = null, string $text = null)
{
/** @psalm-suppress PossiblyNullPropertyAssignmentValue */
$this->uri = $uri;
/** @psalm-suppress PossiblyNullPropertyAssignmentValue */
$this->languageId = $languageId;
/** @psalm-suppress PossiblyNullPropertyAssignmentValue */
$this->version = $version;
/** @psalm-suppress PossiblyNullPropertyAssignmentValue */
$this->text = $text;
}
}