26 lines
458 B
PHP
26 lines
458 B
PHP
|
<?php
|
||
|
|
|
||
|
|
namespace LanguageServer\Protocol;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* A textual edit applicable to a text document.
|
||
|
|
*/
|
||
|
|
class TextEdit
|
||
|
|
{
|
||
|
|
/**
|
||
|
|
* The range of the text document to be manipulated. To insert
|
||
|
|
* text into a document create a range where start === end.
|
||
|
|
*
|
||
|
|
* @var Range
|
||
|
|
*/
|
||
|
|
public $range;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* The string to be inserted. For delete operations use an
|
||
|
|
* empty string.
|
||
|
|
*
|
||
|
|
* @var string
|
||
|
|
*/
|
||
|
|
public $newText;
|
||
|
|
}
|