WorkspaceUnchangedDocumentDiagnosticReport

langoustine.lsp.structures.WorkspaceUnchangedDocumentDiagnosticReport
case class WorkspaceUnchangedDocumentDiagnosticReport(uri: DocumentUri, version: Opt[Int], kind: "unchanged", resultId: String)

An unchanged document diagnostic report for a workspace diagnostic result.

Value parameters

kind

A document diagnostic report indicating no changes to the last result. A server can only return unchanged if result ids are provided.

resultId

A result id which will be sent on the next diagnostic request for the same document.

uri

The URI for which diagnostic information is reported.

version

The version number for which the diagnostics are reported. If the document is not marked as open null can be provided.

Attributes

Since

3.17.0

Companion
object
Source
structures.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product