Welcome to mirror list, hosted at ThFree Co, Russian Federation.

Hover.php « src « language-server-protocol « felixfbecker « vendor - github.com/nextcloud/updater.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
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;
    }
}