public class UnchangedDocumentDiagnosticReport
extends java.lang.Object
Since 3.17.0
| Constructor and Description |
|---|
UnchangedDocumentDiagnosticReport() |
UnchangedDocumentDiagnosticReport(java.lang.String resultId) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object obj) |
java.lang.String |
getKind()
A document diagnostic report indicating
no changes to the last result.
|
java.lang.String |
getResultId()
A result id which will be sent on the next
diagnostic request for the same document.
|
int |
hashCode() |
void |
setResultId(java.lang.String resultId)
A result id which will be sent on the next
diagnostic request for the same document.
|
java.lang.String |
toString() |
public UnchangedDocumentDiagnosticReport()
public UnchangedDocumentDiagnosticReport(java.lang.String resultId)
@Pure public java.lang.String getKind()
@Pure public java.lang.String getResultId()
public void setResultId(java.lang.String resultId)
@Pure public java.lang.String toString()
toString in class java.lang.Object@Pure public boolean equals(java.lang.Object obj)
equals in class java.lang.Object@Pure public int hashCode()
hashCode in class java.lang.Object