2016-08-22 20:40:16 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace LanguageServer\Protocol;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* A document highlight is a range inside a text document which deserves
|
|
|
|
* special attention. Usually a document highlight is visualized by changing
|
|
|
|
* the background color of its range.
|
|
|
|
*/
|
2017-10-02 20:37:28 +00:00
|
|
|
class DocumentHighlight
|
2016-08-22 20:40:16 +00:00
|
|
|
{
|
|
|
|
/**
|
|
|
|
* The range this highlight applies to.
|
|
|
|
*
|
|
|
|
* @var Range
|
|
|
|
*/
|
|
|
|
public $range;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* The highlight kind, default is DocumentHighlightKind::TEXT.
|
|
|
|
*
|
|
|
|
* @var int|null
|
|
|
|
*/
|
|
|
|
public $kind;
|
|
|
|
}
|