initial commit

node_modules/vscode-languageserver-protocol/lib/common/protocol.configuration.d.ts

@@ -0,0 +1,46 @@
+import { RequestHandler, HandlerResult, CancellationToken } from 'vscode-jsonrpc';
+import { ProtocolRequestType } from './messages';
+import { PartialResultParams } from './protocol';
+export interface ConfigurationClientCapabilities {
+    /**
+     * The workspace client capabilities
+     */
+    workspace?: {
+        /**
+         * The client supports `workspace/configuration` requests.
+         *
+         * @since 3.6.0
+         */
+        configuration?: boolean;
+    };
+}
+/**
+ * The 'workspace/configuration' request is sent from the server to the client to fetch a certain
+ * configuration setting.
+ *
+ * This pull model replaces the old push model were the client signaled configuration change via an
+ * event. If the server still needs to react to configuration changes (since the server caches the
+ * result of `workspace/configuration` requests) the server should register for an empty configuration
+ * change event and empty the cache if such an event is received.
+ */
+export declare namespace ConfigurationRequest {
+    const type: ProtocolRequestType<ConfigurationParams & PartialResultParams, any[], never, void, void>;
+    type HandlerSignature = RequestHandler<ConfigurationParams, any[], void>;
+    type MiddlewareSignature = (params: ConfigurationParams, token: CancellationToken, next: HandlerSignature) => HandlerResult<any[], void>;
+}
+export interface ConfigurationItem {
+    /**
+     * The scope to get the configuration section for.
+     */
+    scopeUri?: string;
+    /**
+     * The configuration section asked for.
+     */
+    section?: string;
+}
+/**
+ * The parameters of a configuration request.
+ */
+export interface ConfigurationParams {
+    items: ConfigurationItem[];
+}