View source

typedef DiagnosticRegistrationOptions

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Diagnostics

Diagnostic registration options.

Available since

3.17.0

.

Fields

workspaceDiagnostics:Bool

The server provides support for workspace diagnostics as well.

@:optionaloptionalworkDoneProgress:Null<Bool>

interFileDependencies:Bool

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.

@:optionaloptionalidentifier:Null<String>

An optional identifier under which the diagnostics are managed by the client.

@:optionaloptionalid:Null<String>

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

documentSelector:Null<DocumentSelector>

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.