1 | import { RequestHandler } from 'vscode-jsonrpc';
|
2 | import { Definition, DefinitionLink, Location, LocationLink } from 'vscode-languageserver-types';
|
3 | import { MessageDirection, ProtocolRequestType } from './messages';
|
4 | import type { TextDocumentRegistrationOptions, StaticRegistrationOptions, TextDocumentPositionParams, PartialResultParams, WorkDoneProgressParams, WorkDoneProgressOptions } from './protocol';
|
5 |
|
6 |
|
7 |
|
8 | export interface ImplementationClientCapabilities {
|
9 | |
10 |
|
11 |
|
12 |
|
13 |
|
14 | dynamicRegistration?: boolean;
|
15 | |
16 |
|
17 |
|
18 |
|
19 |
|
20 | linkSupport?: boolean;
|
21 | }
|
22 | export interface ImplementationOptions extends WorkDoneProgressOptions {
|
23 | }
|
24 | export interface ImplementationRegistrationOptions extends TextDocumentRegistrationOptions, ImplementationOptions, StaticRegistrationOptions {
|
25 | }
|
26 | export interface ImplementationParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
|
27 | }
|
28 |
|
29 |
|
30 |
|
31 |
|
32 |
|
33 | export declare namespace ImplementationRequest {
|
34 | const method: 'textDocument/implementation';
|
35 | const messageDirection: MessageDirection;
|
36 | const type: ProtocolRequestType<ImplementationParams, Definition | LocationLink[] | null, Location[] | LocationLink[], void, ImplementationRegistrationOptions>;
|
37 | type HandlerSignature = RequestHandler<ImplementationParams, Definition | DefinitionLink[] | null, void>;
|
38 | }
|