2016-08-22 20:40:16 +00:00
|
|
|
<?php
|
|
|
|
|
|
|
|
namespace LanguageServer\Protocol;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* A range in a text document expressed as (zero-based) start and end positions.
|
|
|
|
*/
|
|
|
|
class Range
|
|
|
|
{
|
|
|
|
/**
|
|
|
|
* The range's start position.
|
|
|
|
*
|
|
|
|
* @var Position
|
|
|
|
*/
|
|
|
|
public $start;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* The range's end position.
|
|
|
|
*
|
|
|
|
* @var Position
|
|
|
|
*/
|
|
|
|
public $end;
|
2016-08-25 13:27:14 +00:00
|
|
|
|
|
|
|
public function __construct(Position $start = null, Position $end = null)
|
|
|
|
{
|
|
|
|
$this->start = $start;
|
|
|
|
$this->end = $end;
|
|
|
|
}
|
2016-08-22 20:40:16 +00:00
|
|
|
}
|