Package 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 Description DocumentDiagnosticParams()DocumentDiagnosticParams(TextDocumentIdentifier textDocument)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description booleanequals(java.lang.Object obj)java.lang.StringgetIdentifier()The additional identifier provided during registration.java.lang.StringgetPreviousResultId()The result id of a previous response if provided.TextDocumentIdentifiergetTextDocument()The text document.inthashCode()voidsetIdentifier(java.lang.String identifier)The additional identifier provided during registration.voidsetPreviousResultId(java.lang.String previousResultId)The result id of a previous response if provided.voidsetTextDocument(TextDocumentIdentifier textDocument)The text document.java.lang.StringtoString()-
Methods inherited from class org.eclipse.lsp4j.WorkDoneProgressAndPartialResultParams
getPartialResultToken, getWorkDoneToken, setPartialResultToken, setPartialResultToken, setPartialResultToken, setWorkDoneToken, setWorkDoneToken, setWorkDoneToken
-
-
-
-
Constructor Detail
-
DocumentDiagnosticParams
public DocumentDiagnosticParams()
-
DocumentDiagnosticParams
public DocumentDiagnosticParams(TextDocumentIdentifier textDocument)
-
-
Method Detail
-
getTextDocument
public TextDocumentIdentifier getTextDocument()
The text document.
-
setTextDocument
public void setTextDocument(TextDocumentIdentifier textDocument)
The text document.
-
getIdentifier
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
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
public java.lang.String toString()
- Overrides:
toStringin classWorkDoneProgressAndPartialResultParams
-
equals
public boolean equals(java.lang.Object obj)
- Overrides:
equalsin classWorkDoneProgressAndPartialResultParams
-
hashCode
public int hashCode()
- Overrides:
hashCodein classWorkDoneProgressAndPartialResultParams
-
-