33 lines
583 B
PHP
33 lines
583 B
PHP
|
<?php
|
||
|
|
|
||
|
|
namespace LanguageServer\Protocol\TextDocument;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* An event describing a change to a text document. If range and rangeLength are
|
||
|
|
* omitted the new text is considered to be the full content of the document.
|
||
|
|
*/
|
||
|
|
class ContentChangeEvent
|
||
|
|
{
|
||
|
|
|
||
|
|
/**
|
||
|
|
* The range of the document that changed.
|
||
|
|
*
|
||
|
|
* @var Range|null
|
||
|
|
*/
|
||
|
|
public $range;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* The length of the range that got replaced.
|
||
|
|
*
|
||
|
|
* @var int|null
|
||
|
|
*/
|
||
|
|
public $rangeLength;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* The new text of the document.
|
||
|
|
*
|
||
|
|
* @var string
|
||
|
|
*/
|
||
|
|
public $text;
|
||
|
|
}
|