File: selectionRange.h

package info (click to toggle)
asymptote 3.02%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: trixie
  • size: 33,400 kB
  • sloc: cpp: 172,516; ansic: 69,728; python: 14,967; sh: 5,599; javascript: 4,866; lisp: 1,507; perl: 1,417; makefile: 1,028; yacc: 610; lex: 449; xml: 182; asm: 8
file content (53 lines) | stat: -rw-r--r-- 1,514 bytes parent folder | download | duplicates (2)
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
#pragma once

#include "LibLsp/JsonRpc/RequestInMessage.h"
#include "LibLsp/JsonRpc/lsResponseMessage.h"

#include "LibLsp/lsp/lsPosition.h"
#include "LibLsp/lsp/lsTextDocumentIdentifier.h"

struct SelectionRangeParams
{
    /**
         * The text document.
         */

    lsTextDocumentIdentifier textDocument;

    /**
         * The positions inside the text document.
         */

    std::vector<lsPosition> positions;

    MAKE_SWAP_METHOD(SelectionRangeParams, textDocument, positions)
};
MAKE_REFLECT_STRUCT(SelectionRangeParams, textDocument, positions)

struct SelectionRange
{
    /**
         * The [range](#Range) of this selection range.
         */

    lsRange range;

    /**
         * The parent selection range containing this range. Therefore `parent.range` must contain `this.range`.
         */
    optional<SelectionRange*> parent;
    MAKE_SWAP_METHOD(SelectionRange, range, parent)
};

extern void Reflect(Reader& visitor, optional<SelectionRange*>& value);
extern void Reflect(Writer& visitor, SelectionRange* value);

MAKE_REFLECT_STRUCT(SelectionRange, range, parent)
/**
 * The {@code textDocument/selectionRange} request is sent from the client to the server to return
 * suggested selection ranges at an array of given positions. A selection range is a range around
 * the cursor position which the user might be interested in selecting.
 */
DEFINE_REQUEST_RESPONSE_TYPE(
    td_selectionRange, SelectionRangeParams, std::vector<SelectionRange>, "textDocument/selectionRange"
);