ProgressToken

A progress token attached to an outgoing request so the server may emit notifications/progress for it. Per basic/utilities/progress, "Progress tokens MUST be a string or integer value" and "MUST be unique across all active requests". Construct one from either a string or a long; an unset token is omitted from the request.

Constructors

this
this(string token)

A string-valued progress token.

this
this(long token)

An integer-valued progress token.

Members

Functions

isSet
bool isSet()

Whether a token has been set (false for a default-constructed token).

toJson
Json toJson()

The token as JSON (a string or integer), or Json.undefined when unset.