32 lines
614 B
PHP
32 lines
614 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;
|
|
|
|
public function __construct(Range $range = null, string $newText = null)
|
|
{
|
|
$this->range = $range;
|
|
$this->newText = $newText;
|
|
}
|
|
}
|