PublishDiagnosticsParams

java.lang.Object

org.graalvm.tools.lsp.server.types.JSONBase

org.graalvm.tools.lsp.server.types.PublishDiagnosticsParams

public class PublishDiagnosticsParams extends JSONBase

The publish diagnostic notification's parameters.

Method Summary

Modifier and Type

Method

Description

static PublishDiagnosticsParams

create(String uri, List<Diagnostic> diagnostics)

boolean

equals(Object obj)

List<Diagnostic>

getDiagnostics()

An array of diagnostic information items.

String

getUri()

The URI for which diagnostic information is reported.

Integer

getVersion()

Optional the version number of the document the diagnostics are published for.

int

hashCode()

PublishDiagnosticsParams

setDiagnostics(List<Diagnostic> diagnostics)

PublishDiagnosticsParams

setUri(String uri)

PublishDiagnosticsParams

setVersion(Integer version)

Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Method Details
- getUri
  
  public String getUri()
  
  The URI for which diagnostic information is reported.
- setUri
  
  public PublishDiagnosticsParams setUri(String uri)
- getVersion
  
  public Integer getVersion()
  
  Optional the version number of the document the diagnostics are published for.
  
  Since:
  
  3.15.0
- setVersion
  
  public PublishDiagnosticsParams setVersion(Integer version)
- getDiagnostics
  
  public List<Diagnostic> getDiagnostics()
  
  An array of diagnostic information items.
- setDiagnostics
  
  public PublishDiagnosticsParams setDiagnostics(List<Diagnostic> diagnostics)
- equals
  
  public boolean equals(Object obj)
  
  Overrides:
  
  equals in class Object
- hashCode
  
  public int hashCode()
  
  Overrides:
  
  hashCode in class Object
- create
  
  public static PublishDiagnosticsParams create(String uri, List<Diagnostic> diagnostics)