View source

typedef DiagnosticOptions

package languageServerProtocol.protocol

import languageServerProtocol.protocol.Diagnostics

Diagnostic 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.