Available since

3.16.0

.

Fields

@:optionaloptionalworkDoneToken:Null<ProgressToken>

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

range:Range

The range the semantic tokens are requested for.

@:optionaloptionalpartialResultToken:Null<ProgressToken>

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