Class WorkspaceUnchangedDocumentDiagnosticReport


  • public class WorkspaceUnchangedDocumentDiagnosticReport
    extends UnchangedDocumentDiagnosticReport
    An unchanged document diagnostic report for a workspace diagnostic result.

    Since 3.17.0

    • Constructor Detail

      • WorkspaceUnchangedDocumentDiagnosticReport

        public WorkspaceUnchangedDocumentDiagnosticReport()
      • WorkspaceUnchangedDocumentDiagnosticReport

        public WorkspaceUnchangedDocumentDiagnosticReport​(java.lang.String resultId,
                                                          java.lang.String uri,
                                                          java.lang.Integer version)
    • Method Detail

      • getUri

        public java.lang.String getUri()
        The URI for which diagnostic information is reported.
      • setUri

        public void setUri​(java.lang.String uri)
        The URI for which diagnostic information is reported.
      • getVersion

        public java.lang.Integer getVersion()
        The version number for which the diagnostics are reported. If the document is not marked as open `null` can be provided.
      • setVersion

        public void setVersion​(java.lang.Integer version)
        The version number for which the diagnostics are reported. If the document is not marked as open `null` can be provided.