1
0
Fork 0
php-language-server/src/Protocol/Methods/TextDocument/DidChangeParams.php

25 lines
558 B
PHP
Raw Normal View History

2016-08-22 15:32:31 +00:00
<?php
2016-08-22 20:40:16 +00:00
namespace LanguageServer\Protocol\Methods\TextDocument;
2016-08-22 15:32:31 +00:00
2016-08-22 20:40:16 +00:00
use LanguageServer\Protocol\Params;
class DidChangeParams extends Params
2016-08-22 15:32:31 +00:00
{
/**
2016-08-22 20:40:16 +00:00
* The document that did change. The version int points
2016-08-22 15:32:31 +00:00
* to the version after all provided content changes have
* been applied.
*
2016-08-22 20:40:16 +00:00
* @var LanguageServer\Protocol\VersionedTextDocumentIdentifier
2016-08-22 15:32:31 +00:00
*/
public $textDocument;
/**
* The actual content changes.
*
2016-08-22 20:40:16 +00:00
* @var LanguageServer\Protocol\TextDocumentContentChangeEvent[]
2016-08-22 15:32:31 +00:00
*/
public $contentChanges;
}