LSP::PartialResultParams
Inherits LSP::Initializer < JSON::Serializable
Constructors
new(pull : JSON::PullParser)
Sourcenew(*, __pull_for_json_serializable pull : JSON::PullParser)
Sourcenew
SourceInstance methods
partial_result_token
An optional token that a server can use to report partial results (e.g. streaming) to the client.
partial_result_token=(partial_result_token : ProgressToken | Nil)
An optional token that a server can use to report partial results (e.g. streaming) to the client.