View source

class DiagnosticRefreshRequest

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Diagnostics

The diagnostic refresh request definition.

Available since

3.17.0

.

Static variables

@:value(new ProtocolRequestType<NoData,NoData,NoData,NoData,NoData>("workspace/diagnostic/refresh"))staticfinalinlineread onlytype:ProtocolRequestType<NoData, NoData, NoData, NoData, NoData> = new ProtocolRequestType<NoData,NoData,NoData,NoData,NoData>("workspace/diagnostic/refresh")