2016-08-22 15:32:31 +00:00
|
|
|
<?php
|
|
|
|
|
2016-08-22 20:40:16 +00:00
|
|
|
namespace LanguageServer\Protocol\Methods\TextDocument;
|
2016-08-22 15:32:31 +00:00
|
|
|
|
2016-08-22 20:40:16 +00:00
|
|
|
use LanguageServer\Protocol\Params;
|
2016-08-22 15:32:31 +00:00
|
|
|
|
2016-08-22 20:40:16 +00:00
|
|
|
/**
|
2016-08-22 15:32:31 +00:00
|
|
|
* A parameter literal used in requests to pass a text document and a position inside
|
|
|
|
* that document.
|
|
|
|
*/
|
2016-08-22 20:40:16 +00:00
|
|
|
class TextDocumentPositionParams extends Params
|
2016-08-22 15:32:31 +00:00
|
|
|
{
|
|
|
|
/**
|
|
|
|
* The text document.
|
|
|
|
*
|
2016-08-22 20:40:16 +00:00
|
|
|
* @var LanguageServer\Protocol\TextDocumentIdentifier
|
2016-08-22 15:32:31 +00:00
|
|
|
*/
|
|
|
|
public $textDocument;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* The position inside the text document.
|
|
|
|
*
|
2016-08-22 20:40:16 +00:00
|
|
|
* @var LanguageServer\Protocol\Position
|
2016-08-22 15:32:31 +00:00
|
|
|
*/
|
|
|
|
public $position;
|
|
|
|
}
|