LSP::Diagnostic

new(range : Range, message : String, severity : DiagnosticSeverity | Nil = nil, source : String | Nil = nil)

new(pull : JSON::PullParser)

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

code=(code : String | Int32 | Nil)

message=(message : String)

range=(range : Range)

related_information=(related_information : Array(DiagnosticRelatedInformation) | Nil)

severity=(severity : DiagnosticSeverity | Nil)

source=(source : String | Nil)

tags=(tags : Array(Int32) | Nil)