struct

LSP::Message::PublishDiagnostics::Params

Inherits JSON::Serializable < Struct < Value < Object

Constructors

new(pull : JSON::PullParser)

new(uri : URI = URI.new, diagnostics : Array(LSP::Data::Diagnostic) = [] of Data::Diagnostic)

new(*, __pull_for_json_serializable pull : JSON::PullParser)

diagnostics

An array of diagnostic information items.

diagnostics=(diagnostics : Array(Data::Diagnostic))

An array of diagnostic information items.

uri

The URI for which diagnostic information is reported.

uri=(uri : URI)

The URI for which diagnostic information is reported.