2016-08-22 15:32:31 +00:00
|
|
|
<?php
|
|
|
|
|
2016-08-22 20:40:16 +00:00
|
|
|
namespace LanguageServer\Protocol;
|
2016-08-22 15:32:31 +00:00
|
|
|
|
|
|
|
/**
|
|
|
|
* 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;
|
|
|
|
}
|