class LSProtocol::WorkspaceUnchangedDocumentDiagnosticReport
- LSProtocol::WorkspaceUnchangedDocumentDiagnosticReport
- Reference
- Object
Overview
An unchanged document diagnostic report for a workspace diagnostic result.
@since 3.17.0
Included Modules
- JSON::Serializable
Defined in:
lsprotocol/types.crConstructors
- .new(kind : String | Nil, result_id : String | Nil, uri : URI | Nil, version : Int32 | Nil)
- .new(pull : JSON::PullParser)
Instance Method Summary
-
#kind : String
A document diagnostic report indicating no changes to the last result.
-
#result_id : String
A result id which will be sent on the next diagnostic request for the same document.
-
#uri : URI
The URI for which diagnostic information is reported.
-
#version : Int32 | Nil
The version number for which the diagnostics are reported.
Constructor Detail
def self.new(kind : String | Nil, result_id : String | Nil, uri : URI | Nil, version : Int32 | Nil)
#
Instance Method Detail
def kind : String
#
A document diagnostic report indicating
no changes to the last result. A server can
only return unchanged
if result ids are
provided.
def result_id : String
#
A result id which will be sent on the next diagnostic request for the same document.
def version : Int32 | Nil
#
The version number for which the diagnostics are reported.
If the document is not marked as open null
can be provided.