Parameters of the workspace diagnostic request.

Available since

3.17.0

.

Fields

@:optionaloptionalworkDoneToken:Null<ProgressToken>

An optional token that a server can use to report work done progress.

previousResultIds:Array<PreviousResultId>

The currently known diagnostic reports with their previous result ids.

@:optionaloptionalpartialResultToken:Null<ProgressToken>

An optional token that a server can use to report partial results (e.g. streaming) to the client.

@:optionaloptionalidentifier:Null<String>

The additional identifier provided during registration.