org.eclipse.lsp4j

Class DocumentDiagnosticParams

java.lang.Object

org.eclipse.lsp4j.WorkDoneProgressAndPartialResultParams

org.eclipse.lsp4j.DocumentDiagnosticParams

All Implemented Interfaces:

PartialResultParams, WorkDoneProgressParams

public class DocumentDiagnosticParams
extends WorkDoneProgressAndPartialResultParams

Parameters of the document diagnostic request.

Since 3.17.0

Constructor Summary

Constructors

Constructor and Description
DocumentDiagnosticParams()
DocumentDiagnosticParams(TextDocumentIdentifier textDocument)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
java.lang.String	getIdentifier() The additional identifier provided during registration.
java.lang.String	getPreviousResultId() The result id of a previous response if provided.
TextDocumentIdentifier	getTextDocument() The text document.
int	hashCode()
void	setIdentifier(java.lang.String identifier) The additional identifier provided during registration.
void	setPreviousResultId(java.lang.String previousResultId) The result id of a previous response if provided.
void	setTextDocument(TextDocumentIdentifier textDocument) The text document.
java.lang.String	toString()

Methods inherited from class org.eclipse.lsp4j.WorkDoneProgressAndPartialResultParams

getPartialResultToken, getWorkDoneToken, setPartialResultToken, setPartialResultToken, setPartialResultToken, setWorkDoneToken, setWorkDoneToken, setWorkDoneToken

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DocumentDiagnosticParams

public DocumentDiagnosticParams()

DocumentDiagnosticParams

public DocumentDiagnosticParams(TextDocumentIdentifier textDocument)

Method Detail

getTextDocument

@Pure
public TextDocumentIdentifier getTextDocument()

The text document.

setTextDocument

public void setTextDocument(TextDocumentIdentifier textDocument)

The text document.

getIdentifier

@Pure
public java.lang.String getIdentifier()

The additional identifier provided during registration.

setIdentifier

public void setIdentifier(java.lang.String identifier)

The additional identifier provided during registration.

getPreviousResultId

@Pure
public java.lang.String getPreviousResultId()

The result id of a previous response if provided.

setPreviousResultId

public void setPreviousResultId(java.lang.String previousResultId)

The result id of a previous response if provided.

toString

@Pure
public java.lang.String toString()

Overrides:

toString in class WorkDoneProgressAndPartialResultParams

equals

@Pure
public boolean equals(java.lang.Object obj)

Overrides:

equals in class WorkDoneProgressAndPartialResultParams

hashCode

@Pure
public int hashCode()

Overrides:

hashCode in class WorkDoneProgressAndPartialResultParams