blob: 8c39c97dc8a72eb289598fa23df3a5fe05cb5853 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
<?php
namespace LanguageServerProtocol;
/**
* The result of a hover request.
*/
class Hover
{
/**
* The hover's content
*
* @var string|MarkedString|string[]|MarkedString[]|MarkupContent
*/
public $contents;
/**
* An optional range
*
* @var Range|null
*/
public $range;
/**
* @param string|MarkedString|string[]|MarkedString[]|MarkupContent $contents The hover's content
* @param Range $range An optional range
*/
public function __construct($contents = null, $range = null)
{
/** @psalm-suppress PossiblyNullPropertyAssignmentValue */
$this->contents = $contents;
$this->range = $range;
}
}
|