1 | import { RequestHandler } from 'vscode-jsonrpc';
|
2 | import { TextDocumentIdentifier, Position, SelectionRange } from 'vscode-languageserver-types';
|
3 | import { MessageDirection, ProtocolRequestType } from './messages';
|
4 | import type { TextDocumentRegistrationOptions, WorkDoneProgressOptions, StaticRegistrationOptions, WorkDoneProgressParams, PartialResultParams } from './protocol';
|
5 | export interface SelectionRangeClientCapabilities {
|
6 | |
7 |
|
8 |
|
9 |
|
10 |
|
11 | dynamicRegistration?: boolean;
|
12 | }
|
13 | export interface SelectionRangeOptions extends WorkDoneProgressOptions {
|
14 | }
|
15 | export interface SelectionRangeRegistrationOptions extends SelectionRangeOptions, TextDocumentRegistrationOptions, StaticRegistrationOptions {
|
16 | }
|
17 |
|
18 |
|
19 |
|
20 | export interface SelectionRangeParams extends WorkDoneProgressParams, PartialResultParams {
|
21 | |
22 |
|
23 |
|
24 | textDocument: TextDocumentIdentifier;
|
25 | |
26 |
|
27 |
|
28 | positions: Position[];
|
29 | }
|
30 |
|
31 |
|
32 |
|
33 |
|
34 |
|
35 |
|
36 | export declare namespace SelectionRangeRequest {
|
37 | const method: 'textDocument/selectionRange';
|
38 | const messageDirection: MessageDirection;
|
39 | const type: ProtocolRequestType<SelectionRangeParams, SelectionRange[] | null, SelectionRange[], void, SelectionRangeRegistrationOptions>;
|
40 | type HandlerSignature = RequestHandler<SelectionRangeParams, SelectionRange[] | null, void>;
|
41 | }
|