1 | import { FileSystemWatcher as VFileSystemWatcher, WorkspaceFolder as VWorkspaceFolder } from 'vscode';
|
2 | import { ClientCapabilities, ConfigurationRequest, DidChangeConfigurationRegistrationOptions, RegistrationType } from 'vscode-languageserver-protocol';
|
3 | import { StaticFeature, FeatureClient, FeatureState, DynamicFeature, RegistrationData } from './features';
|
4 | export interface ConfigurationMiddleware {
|
5 | configuration?: ConfigurationRequest.MiddlewareSignature;
|
6 | }
|
7 | interface ConfigurationWorkspaceMiddleware {
|
8 | workspace?: ConfigurationMiddleware;
|
9 | }
|
10 |
|
11 |
|
12 |
|
13 | export declare class ConfigurationFeature implements StaticFeature {
|
14 | private readonly _client;
|
15 | constructor(client: FeatureClient<ConfigurationWorkspaceMiddleware>);
|
16 | getState(): FeatureState;
|
17 | fillClientCapabilities(capabilities: ClientCapabilities): void;
|
18 | initialize(): void;
|
19 | private getConfiguration;
|
20 | clear(): void;
|
21 | }
|
22 | export declare function toJSONObject(obj: any): any;
|
23 | export interface DidChangeConfigurationSignature {
|
24 | (this: void, sections: string[] | undefined): Promise<void>;
|
25 | }
|
26 | export interface DidChangeConfigurationMiddleware {
|
27 | didChangeConfiguration?: (this: void, sections: string[] | undefined, next: DidChangeConfigurationSignature) => Promise<void>;
|
28 | }
|
29 | interface DidChangeConfigurationWorkspaceMiddleware {
|
30 | workspace?: DidChangeConfigurationMiddleware;
|
31 | }
|
32 | export type SynchronizeOptions = {
|
33 | |
34 |
|
35 |
|
36 |
|
37 |
|
38 |
|
39 |
|
40 |
|
41 |
|
42 | configurationSection?: string | string[];
|
43 | |
44 |
|
45 |
|
46 |
|
47 |
|
48 | fileEvents?: VFileSystemWatcher | VFileSystemWatcher[];
|
49 | };
|
50 | export type $ConfigurationOptions = {
|
51 | synchronize?: SynchronizeOptions;
|
52 | workspaceFolder?: VWorkspaceFolder;
|
53 | };
|
54 | export declare class SyncConfigurationFeature implements DynamicFeature<DidChangeConfigurationRegistrationOptions> {
|
55 | private _client;
|
56 | private isCleared;
|
57 | private readonly _listeners;
|
58 | constructor(_client: FeatureClient<DidChangeConfigurationWorkspaceMiddleware, $ConfigurationOptions>);
|
59 | getState(): FeatureState;
|
60 | get registrationType(): RegistrationType<DidChangeConfigurationRegistrationOptions>;
|
61 | fillClientCapabilities(capabilities: ClientCapabilities): void;
|
62 | initialize(): void;
|
63 | register(data: RegistrationData<DidChangeConfigurationRegistrationOptions>): void;
|
64 | unregister(id: string): void;
|
65 | clear(): void;
|
66 | private onDidChangeConfiguration;
|
67 | private extractSettingsInformation;
|
68 | }
|
69 | export {};
|