vscode-languageserver-protocol 3.17.0-next.1 → 3.17.0-next.10

package/lib/browser/main.js

@@ -19,7 +19,7 @@ const browser_1 = require("vscode-jsonrpc/browser");
 __exportStar(require("vscode-jsonrpc/browser"), exports);
 __exportStar(require("../common/api"), exports);
 function createProtocolConnection(reader, writer, logger, options) {
-    return browser_1.createMessageConnection(reader, writer, logger, options);
+    return (0, browser_1.createMessageConnection)(reader, writer, logger, options);
 }
 exports.createProtocolConnection = createProtocolConnection;
 //# sourceMappingURL=main.js.map

package/lib/common/api.d.ts

@@ -12,7 +12,38 @@ export declare namespace LSPErrorCodes {
     * @since 3.16.0
     */
     const lspReservedErrorRangeStart: integer;
+    /**
+     * A request failed but it was syntactically correct, e.g the
+     * method name was known and the parameters were valid. The error
+     * message should contain human readable information about why
+     * the request failed.
+     *
+     * @since 3.17.0
+     */
+    const RequestFailed: integer;
+    /**
+     * The server cancelled the request. This error code should
+     * only be used for requests that explicitly support being
+     * server cancellable.
+     *
+     * @since 3.17.0
+     */
+    const ServerCancelled: integer;
+    /**
+     * The server detected that the content of a document got
+     * modified outside normal conditions. A server should
+     * NOT send this error code if it detects a content change
+     * in it unprocessed messages. The result even computed
+     * on an older state might still be useful for the client.
+     *
+     * If a client decides that a result is not of any use anymore
+     * the client should cancel the request.
+     */
     const ContentModified: integer;
+    /**
+     * The client has canceled a request and a server as detected
+     * the cancel.
+     */
     const RequestCancelled: integer;
     /**
     * This is the end range of LSP reserved error codes.
@@ -23,12 +54,48 @@ export declare namespace LSPErrorCodes {
     const lspReservedErrorRangeEnd: integer;
 }
 import * as diag from './proposed.diagnostic';
+import * as typeh from './proposed.typeHierarchy';
+import * as iv from './proposed.inlineValue';
 export declare namespace Proposed {
     type DiagnosticClientCapabilities = diag.DiagnosticClientCapabilities;
     type $DiagnosticClientCapabilities = diag.$DiagnosticClientCapabilities;
-    type DiagnosticParams = diag.DiagnosticParams;
     type DiagnosticOptions = diag.DiagnosticOptions;
     type DiagnosticRegistrationOptions = diag.DiagnosticRegistrationOptions;
     type $DiagnosticServerCapabilities = diag.$DiagnosticServerCapabilities;
-    const DiagnosticRequest: typeof diag.DiagnosticRequest;
+    type DocumentDiagnosticParams = diag.DocumentDiagnosticParams;
+    type DiagnosticServerCancellationData = diag.DiagnosticServerCancellationData;
+    const DiagnosticServerCancellationData: typeof diag.DiagnosticServerCancellationData;
+    type DocumentDiagnosticReportKind = diag.DocumentDiagnosticReportKind;
+    const DocumentDiagnosticReportKind: typeof diag.DocumentDiagnosticReportKind;
+    type FullDocumentDiagnosticReport = diag.FullDocumentDiagnosticReport;
+    type RelatedFullDocumentDiagnosticReport = diag.RelatedFullDocumentDiagnosticReport;
+    type UnchangedDocumentDiagnosticReport = diag.UnchangedDocumentDiagnosticReport;
+    type RelatedUnchangedDocumentDiagnosticReport = diag.RelatedUnchangedDocumentDiagnosticReport;
+    type DocumentDiagnosticReport = diag.DocumentDiagnosticReport;
+    type DocumentDiagnosticReportPartialResult = diag.DocumentDiagnosticReportPartialResult;
+    const DocumentDiagnosticRequest: typeof diag.DocumentDiagnosticRequest;
+    type PreviousResultId = diag.PreviousResultId;
+    type WorkspaceDiagnosticParams = diag.WorkspaceDiagnosticParams;
+    type WorkspaceFullDocumentDiagnosticReport = diag.WorkspaceFullDocumentDiagnosticReport;
+    type WorkspaceUnchangedDocumentDiagnosticReport = diag.WorkspaceUnchangedDocumentDiagnosticReport;
+    type WorkspaceDocumentDiagnosticReport = diag.WorkspaceDocumentDiagnosticReport;
+    type WorkspaceDiagnosticReport = diag.WorkspaceDiagnosticReport;
+    type WorkspaceDiagnosticReportPartialResult = diag.WorkspaceDiagnosticReportPartialResult;
+    const WorkspaceDiagnosticRequest: typeof diag.WorkspaceDiagnosticRequest;
+    const DiagnosticRefreshRequest: typeof diag.DiagnosticRefreshRequest;
+    type TypeHierarchyClientCapabilities = typeh.TypeHierarchyClientCapabilities;
+    type TypeHierarchyOptions = typeh.TypeHierarchyOptions;
+    type TypeHierarchyRegistrationOptions = typeh.TypeHierarchyRegistrationOptions;
+    type TypeHierarchyPrepareParams = typeh.TypeHierarchyPrepareParams;
+    type TypeHierarchySupertypesParams = typeh.TypeHierarchySupertypesParams;
+    type TypeHierarchySubtypesParams = typeh.TypeHierarchySubtypesParams;
+    const TypeHierarchyPrepareRequest: typeof typeh.TypeHierarchyPrepareRequest;
+    const TypeHierarchySupertypesRequest: typeof typeh.TypeHierarchySupertypesRequest;
+    const TypeHierarchySubtypesRequest: typeof typeh.TypeHierarchySubtypesRequest;
+    type InlineValuesClientCapabilities = iv.InlineValuesClientCapabilities;
+    type InlineValuesOptions = iv.InlineValuesOptions;
+    type InlineValuesRegistrationOptions = iv.InlineValuesRegistrationOptions;
+    type InlineValuesParams = iv.InlineValuesParams;
+    const InlineValuesRequest: typeof iv.InlineValuesRequest;
+    const InlineValuesRefreshRequest: typeof iv.InlineValuesRefreshRequest;
 }

package/lib/common/api.js

@@ -30,7 +30,38 @@ var LSPErrorCodes;
     * @since 3.16.0
     */
     LSPErrorCodes.lspReservedErrorRangeStart = -32899;
+    /**
+     * A request failed but it was syntactically correct, e.g the
+     * method name was known and the parameters were valid. The error
+     * message should contain human readable information about why
+     * the request failed.
+     *
+     * @since 3.17.0
+     */
+    LSPErrorCodes.RequestFailed = -32803;
+    /**
+     * The server cancelled the request. This error code should
+     * only be used for requests that explicitly support being
+     * server cancellable.
+     *
+     * @since 3.17.0
+     */
+    LSPErrorCodes.ServerCancelled = -32802;
+    /**
+     * The server detected that the content of a document got
+     * modified outside normal conditions. A server should
+     * NOT send this error code if it detects a content change
+     * in it unprocessed messages. The result even computed
+     * on an older state might still be useful for the client.
+     *
+     * If a client decides that a result is not of any use anymore
+     * the client should cancel the request.
+     */
     LSPErrorCodes.ContentModified = -32801;
+    /**
+     * The client has canceled a request and a server as detected
+     * the cancel.
+     */
     LSPErrorCodes.RequestCancelled = -32800;
     /**
     * This is the end range of LSP reserved error codes.
@@ -41,8 +72,19 @@ var LSPErrorCodes;
     LSPErrorCodes.lspReservedErrorRangeEnd = -32800;
 })(LSPErrorCodes = exports.LSPErrorCodes || (exports.LSPErrorCodes = {}));
 const diag = require("./proposed.diagnostic");
+const typeh = require("./proposed.typeHierarchy");
+const iv = require("./proposed.inlineValue");
 var Proposed;
 (function (Proposed) {
-    Proposed.DiagnosticRequest = diag.DiagnosticRequest;
+    Proposed.DiagnosticServerCancellationData = diag.DiagnosticServerCancellationData;
+    Proposed.DocumentDiagnosticReportKind = diag.DocumentDiagnosticReportKind;
+    Proposed.DocumentDiagnosticRequest = diag.DocumentDiagnosticRequest;
+    Proposed.WorkspaceDiagnosticRequest = diag.WorkspaceDiagnosticRequest;
+    Proposed.DiagnosticRefreshRequest = diag.DiagnosticRefreshRequest;
+    Proposed.TypeHierarchyPrepareRequest = typeh.TypeHierarchyPrepareRequest;
+    Proposed.TypeHierarchySupertypesRequest = typeh.TypeHierarchySupertypesRequest;
+    Proposed.TypeHierarchySubtypesRequest = typeh.TypeHierarchySubtypesRequest;
+    Proposed.InlineValuesRequest = iv.InlineValuesRequest;
+    Proposed.InlineValuesRefreshRequest = iv.InlineValuesRefreshRequest;
 })(Proposed = exports.Proposed || (exports.Proposed = {}));
 //# sourceMappingURL=api.js.map

package/lib/common/connection.d.ts

@@ -1,4 +1,4 @@
-import { Message, NotificationMessage, CancellationToken, RequestHandler0, RequestHandler, GenericRequestHandler, NotificationHandler0, NotificationHandler, GenericNotificationHandler, ProgressType, Trace, Tracer, TraceOptions, Disposable, Event, MessageReader, MessageWriter, Logger, ConnectionStrategy, ConnectionOptions, RequestType0, RequestType, NotificationType0, NotificationType } from 'vscode-jsonrpc';
+import { Message, NotificationMessage, CancellationToken, RequestHandler0, RequestHandler, GenericRequestHandler, NotificationHandler0, NotificationHandler, GenericNotificationHandler, ProgressType, Trace, Tracer, TraceOptions, Disposable, Event, MessageReader, MessageWriter, Logger, ConnectionStrategy, ConnectionOptions, RequestType0, RequestType, NotificationType0, NotificationType, MessageSignature } from 'vscode-jsonrpc';
 import { ProtocolRequestType, ProtocolRequestType0, ProtocolNotificationType, ProtocolNotificationType0 } from './messages';
 export interface ProtocolConnection {
     /**
@@ -23,20 +23,20 @@ export interface ProtocolConnection {
     /**
      * Sends a request and returns a promise resolving to the result of the request.
      *
-     * @param method the request's method name.
+     * @param method the message signature or the method name.
      * @param token An optional cancellation token.
      * @returns A promise resolving to the request's result.
      */
-    sendRequest<R>(method: string, token?: CancellationToken): Promise<R>;
+    sendRequest<R>(method: MessageSignature | string, token?: CancellationToken): Promise<R>;
     /**
      * Sends a request and returns a promise resolving to the result of the request.
      *
-     * @param method the request's method name.
+     * @param method the message signature or the method name.
      * @param params The request's parameter.
      * @param token An optional cancellation token.
      * @returns A promise resolving to the request's result.
      */
-    sendRequest<R>(method: string, param: any, token?: CancellationToken): Promise<R>;
+    sendRequest<R>(method: MessageSignature | string, param: any, token?: CancellationToken): Promise<R>;
     /**
      * Installs a request handler.
      *
@@ -56,38 +56,38 @@ export interface ProtocolConnection {
     /**
      * Installs a request handler.
      *
-     * @param methods The method name to install the handler for.
+     * @param methods the message signature or the method name to install a handler for.
      * @param handler The actual handler.
      */
-    onRequest<R, E>(method: string, handler: GenericRequestHandler<R, E>): Disposable;
+    onRequest<R, E>(method: MessageSignature | string, handler: GenericRequestHandler<R, E>): Disposable;
     /**
      * Sends a notification.
      *
      * @param type the notification's type to send.
      */
-    sendNotification(type: NotificationType0): void;
-    sendNotification<RO>(type: ProtocolNotificationType0<RO>): void;
+    sendNotification(type: NotificationType0): Promise<void>;
+    sendNotification<RO>(type: ProtocolNotificationType0<RO>): Promise<void>;
     /**
      * Sends a notification.
      *
      * @param type the notification's type to send.
      * @param params the notification's parameters.
      */
-    sendNotification<P, RO>(type: ProtocolNotificationType<P, RO>, params?: P): void;
-    sendNotification<P>(type: NotificationType<P>, params?: P): void;
+    sendNotification<P, RO>(type: ProtocolNotificationType<P, RO>, params?: P): Promise<void>;
+    sendNotification<P>(type: NotificationType<P>, params?: P): Promise<void>;
     /**
      * Sends a notification.
      *
-     * @param method the notification's method name.
+     * @param method the notification's method signature or the method name.
      */
-    sendNotification(method: string): void;
+    sendNotification(method: MessageSignature | string): Promise<void>;
     /**
      * Sends a notification.
      *
-     * @param method the notification's method name.
+     * @param method the notification's method signature or the method name.
      * @param params the notification's parameters.
      */
-    sendNotification(method: string, params: any): void;
+    sendNotification(method: MessageSignature | string, params: any): Promise<void>;
     /**
      * Installs a notification handler.
      *
@@ -107,10 +107,10 @@ export interface ProtocolConnection {
     /**
      * Installs a notification handler.
      *
-     * @param methods The method name to install the handler for.
+     * @param methods The message signature or the method name to install the handler for.
      * @param handler The actual handler.
      */
-    onNotification(method: string, handler: GenericNotificationHandler): Disposable;
+    onNotification(method: MessageSignature | string, handler: GenericNotificationHandler): Disposable;
     /**
      * Installs a progress handler for a given token.
      * @param type the progress type
@@ -124,7 +124,7 @@ export interface ProtocolConnection {
      * @param token the token to use
      * @param value the progress value
      */
-    sendProgress<P>(type: ProgressType<P>, token: string | number, value: P): void;
+    sendProgress<P>(type: ProgressType<P>, token: string | number, value: P): Promise<void>;
     /**
      * Enables tracing mode for the connection.
      */
@@ -139,7 +139,7 @@ export interface ProtocolConnection {
      */
     onClose: Event<void>;
     /**
-     * An event emiiter firing when the connection receives a notification that is not
+     * An event emitter firing when the connection receives a notification that is not
      * handled.
      */
     onUnhandledNotification: Event<NotificationMessage>;

package/lib/common/connection.js

@@ -10,7 +10,7 @@ function createProtocolConnection(input, output, logger, options) {
     if (vscode_jsonrpc_1.ConnectionStrategy.is(options)) {
         options = { connectionStrategy: options };
     }
-    return vscode_jsonrpc_1.createMessageConnection(input, output, logger, options);
+    return (0, vscode_jsonrpc_1.createMessageConnection)(input, output, logger, options);
 }
 exports.createProtocolConnection = createProtocolConnection;
 //# sourceMappingURL=connection.js.map

package/lib/common/messages.js

@@ -36,7 +36,4 @@ class ProtocolNotificationType extends vscode_jsonrpc_1.NotificationType {
     }
 }
 exports.ProtocolNotificationType = ProtocolNotificationType;
-// let x: ProtocolNotificationType<number, { value: number}>;
-// let y: ProtocolNotificationType<string, { value: number}>;
-// x = y;
 //# sourceMappingURL=messages.js.map

package/lib/common/proposed.diagnostic.d.ts

@@ -1,9 +1,9 @@
-import { RequestHandler } from 'vscode-jsonrpc';
-import { TextDocumentIdentifier, Diagnostic } from 'vscode-languageserver-types';
-import { ProtocolRequestType } from './messages';
+import { RequestHandler0, RequestHandler, ProgressType } from 'vscode-jsonrpc';
+import { TextDocumentIdentifier, Diagnostic, DocumentUri, integer } from 'vscode-languageserver-types';
+import { ProtocolRequestType0, ProtocolRequestType } from './messages';
 import { PartialResultParams, StaticRegistrationOptions, WorkDoneProgressParams, TextDocumentRegistrationOptions, WorkDoneProgressOptions, TextDocumentClientCapabilities } from './protocol';
 /**
- * @since 3.17.0
+ * @since 3.17.0 - proposed state
  */
 export interface DiagnosticClientCapabilities {
     /**
@@ -12,28 +12,313 @@ export interface DiagnosticClientCapabilities {
      * return value for the corresponding server capability as well.
      */
     dynamicRegistration?: boolean;
+    /**
+     * Whether the clients supports related documents for document diagnostic pulls.
+     */
+    relatedDocumentSupport?: boolean;
 }
 export interface $DiagnosticClientCapabilities {
     textDocument?: TextDocumentClientCapabilities & {
-        diagnostic: DiagnosticClientCapabilities;
+        diagnostic?: DiagnosticClientCapabilities;
     };
 }
-export interface DiagnosticParams extends WorkDoneProgressParams, PartialResultParams {
+/**
+ * Diagnostic options.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface DiagnosticOptions extends WorkDoneProgressOptions {
     /**
-     * The text document.
+     * An optional identifier under which the diagnostics are
+     * managed by the client.
      */
-    textDocument: TextDocumentIdentifier;
-}
-export interface DiagnosticOptions extends WorkDoneProgressOptions {
     identifier?: string;
+    /**
+     * Whether the language has inter file dependencies meaning that
+     * editing code in one file can result in a different diagnostic
+     * set in another file. Inter file dependencies are common for
+     * most programming languages and typically uncommon for linters.
+     */
+    interFileDependencies: boolean;
+    /**
+     * The server provides support for workspace diagnostics as well.
+     */
+    workspaceDiagnostics: boolean;
 }
+/**
+ * Diagnostic registration options.
+ *
+ * @since 3.17.0 - proposed state
+ */
 export interface DiagnosticRegistrationOptions extends TextDocumentRegistrationOptions, DiagnosticOptions, StaticRegistrationOptions {
 }
 export interface $DiagnosticServerCapabilities {
-    diagnosticProvider?: boolean | DiagnosticOptions;
+    diagnosticProvider?: DiagnosticOptions;
+}
+/**
+ * Cancellation data returned from a diagnostic request.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface DiagnosticServerCancellationData {
+    retriggerRequest: boolean;
+}
+/**
+ * @since 3.17.0 - proposed state
+ */
+export declare namespace DiagnosticServerCancellationData {
+    function is(value: any): value is DiagnosticServerCancellationData;
+}
+/**
+ * Parameters of the document diagnostic request.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface DocumentDiagnosticParams extends WorkDoneProgressParams, PartialResultParams {
+    /**
+     * The text document.
+     */
+    textDocument: TextDocumentIdentifier;
+    /**
+     * The additional identifier  provided during registration.
+     */
+    identifier?: string;
+    /**
+     * The result id of a previous response if provided.
+     */
+    previousResultId?: string;
+}
+/**
+ * The document diagnostic report kinds.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export declare enum DocumentDiagnosticReportKind {
+    /**
+     * A diagnostic report with a full
+     * set of problems.
+     */
+    full = "full",
+    /**
+     * A report indicating that the last
+     * returned report is still accurate.
+     */
+    unChanged = "unChanged"
+}
+/**
+ * A diagnostic report with a full set of problems.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface FullDocumentDiagnosticReport {
+    /**
+     * A full document diagnostic report.
+     */
+    kind: DocumentDiagnosticReportKind.full;
+    /**
+     * An optional result id. If provided it will
+     * be sent on the next diagnostic request for the
+     * same document.
+     */
+    resultId?: string;
+    /**
+     * The actual items.
+     */
+    items: Diagnostic[];
+}
+/**
+ * A full diagnostic report with a set of related documents.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface RelatedFullDocumentDiagnosticReport extends FullDocumentDiagnosticReport {
+    /**
+     * Diagnostics of related documents. This information is useful
+     * in programming languages where code in a file A can generate
+     * diagnostics in a file B which A depends on. An example of
+     * such a language is C/C++ where marco definitions in a file
+     * a.cpp and result in errors in a header file b.hpp.
+     *
+     * @since 3.17.0 - proposed state
+     */
+    relatedDocuments?: {
+        [uri: string /** DocumentUri */]: FullDocumentDiagnosticReport | UnchangedDocumentDiagnosticReport;
+    };
+}
+/**
+ * A diagnostic report indicating that the last returned
+ * report is still accurate.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface UnchangedDocumentDiagnosticReport {
+    /**
+     * A document diagnostic report indicating
+     * no changes to the last result. A server can
+     * only return `unchanged` if result ids are
+     * provided.
+     */
+    kind: DocumentDiagnosticReportKind.unChanged;
+    /**
+     * A result id which will be sent on the next
+     * diagnostic request for the same document.
+     */
+    resultId: string;
+}
+/**
+ * An unchanged diagnostic report with a set of related documents.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface RelatedUnchangedDocumentDiagnosticReport extends UnchangedDocumentDiagnosticReport {
+    /**
+     * Diagnostics of related documents. This information is useful
+     * in programming languages where code in a file A can generate
+     * diagnostics in a file B which A depends on. An example of
+     * such a language is C/C++ where marco definitions in a file
+     * a.cpp and result in errors in a header file b.hpp.
+     *
+     * @since 3.17.0 - proposed state
+     */
+    relatedDocuments?: {
+        [uri: string /** DocumentUri */]: FullDocumentDiagnosticReport | UnchangedDocumentDiagnosticReport;
+    };
+}
+/**
+ * The result of a document diagnostic pull request. A report can
+ * either be a full report containing all diagnostics for the
+ * requested document or a unchanged report indicating that nothing
+ * has changed in terms of diagnostics in comparison to the last
+ * pull request.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export declare type DocumentDiagnosticReport = RelatedFullDocumentDiagnosticReport | RelatedUnchangedDocumentDiagnosticReport;
+/**
+ * A partial result for a document diagnostic report.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface DocumentDiagnosticReportPartialResult {
+    relatedDocuments: {
+        [uri: string /** DocumentUri */]: FullDocumentDiagnosticReport | UnchangedDocumentDiagnosticReport;
+    };
 }
-export declare namespace DiagnosticRequest {
+/**
+ * The document diagnostic request definition.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export declare namespace DocumentDiagnosticRequest {
     const method: 'textDocument/diagnostic';
-    const type: ProtocolRequestType<DiagnosticParams, Diagnostic[] | null, Diagnostic[], void, DiagnosticRegistrationOptions>;
-    type HandlerSignature = RequestHandler<DiagnosticParams, Diagnostic[] | null, void>;
+    const type: ProtocolRequestType<DocumentDiagnosticParams, DocumentDiagnosticReport, DocumentDiagnosticReportPartialResult, DiagnosticServerCancellationData, DiagnosticRegistrationOptions>;
+    const partialResult: ProgressType<DocumentDiagnosticReportPartialResult>;
+    type HandlerSignature = RequestHandler<DocumentDiagnosticParams, DocumentDiagnosticReport, void>;
+}
+/**
+ * A previous result id in a workspace pull request.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export declare type PreviousResultId = {
+    /**
+     * The URI for which the client knowns a
+     * result id.
+     */
+    uri: DocumentUri;
+    /**
+     * The value of the previous result id.
+     */
+    value: string;
+};
+/**
+ * Parameters of the workspace diagnostic request.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface WorkspaceDiagnosticParams extends WorkDoneProgressParams, PartialResultParams {
+    /**
+     * The additional identifier provided during registration.
+     */
+    identifier?: string;
+    /**
+     * The currently known diagnostic reports with their
+     * previous result ids.
+     */
+    previousResultIds: PreviousResultId[];
+}
+/**
+ * A full document diagnostic report for a workspace diagnostic result.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface WorkspaceFullDocumentDiagnosticReport extends FullDocumentDiagnosticReport {
+    /**
+     * The URI for which diagnostic information is reported.
+     */
+    uri: DocumentUri;
+    /**
+     * The version number for which the diagnostics are reported.
+     * If the document is not marked as open `null` can be provided.
+     */
+    version: integer | null;
+}
+/**
+ * An unchanged document diagnostic report for a workspace diagnostic result.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface WorkspaceUnchangedDocumentDiagnosticReport extends UnchangedDocumentDiagnosticReport {
+    /**
+     * The URI for which diagnostic information is reported.
+     */
+    uri: DocumentUri;
+    /**
+     * The version number for which the diagnostics are reported.
+     * If the document is not marked as open `null` can be provided.
+     */
+    version: integer | null;
+}
+/**
+ * A workspace diagnostic document report.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export declare type WorkspaceDocumentDiagnosticReport = WorkspaceFullDocumentDiagnosticReport | WorkspaceUnchangedDocumentDiagnosticReport;
+/**
+ * A workspace diagnostic report.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface WorkspaceDiagnosticReport {
+    items: WorkspaceDocumentDiagnosticReport[];
+}
+/**
+ * A partial result for a workspace diagnostic report.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export interface WorkspaceDiagnosticReportPartialResult {
+    items: WorkspaceDocumentDiagnosticReport[];
+}
+/**
+ * The workspace diagnostic request definition.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export declare namespace WorkspaceDiagnosticRequest {
+    const method: 'workspace/diagnostic';
+    const type: ProtocolRequestType<WorkspaceDiagnosticParams, WorkspaceDiagnosticReport, WorkspaceDiagnosticReportPartialResult, DiagnosticServerCancellationData, void>;
+    const partialResult: ProgressType<WorkspaceDiagnosticReportPartialResult>;
+    type HandlerSignature = RequestHandler<WorkspaceDiagnosticParams, WorkspaceDiagnosticReport | null, void>;
+}
+/**
+ * The diagnostic refresh request definition.
+ *
+ * @since 3.17.0 - proposed state
+ */
+export declare namespace DiagnosticRefreshRequest {
+    const method: `workspace/diagnostic/refresh`;
+    const type: ProtocolRequestType0<void, void, void, void>;
+    type HandlerSignature = RequestHandler0<void, void>;
 }