View source

class WorkspaceDiagnosticRequest

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Diagnostics

The workspace diagnostic request definition.

Available since

3.17.0

.

Static variables

@:value(new ProtocolRequestType<WorkspaceDiagnosticParams,WorkspaceDiagnosticReport,WorkspaceDiagnosticReportPartialResult,DiagnosticServerCancellationData,NoData>("workspace/diagnostic"))staticfinalinlineread onlytype:ProtocolRequestType<WorkspaceDiagnosticParams, WorkspaceDiagnosticReport, WorkspaceDiagnosticReportPartialResult, DiagnosticServerCancellationData, NoData> = new ProtocolRequestType<WorkspaceDiagnosticParams,WorkspaceDiagnosticReport,WorkspaceDiagnosticReportPartialResult,DiagnosticServerCancellationData,NoData>("workspace/diagnostic")