Class DiagnosticRegistrationOptions

    • Constructor Detail

      • DiagnosticRegistrationOptions

        public DiagnosticRegistrationOptions()
      • DiagnosticRegistrationOptions

        public DiagnosticRegistrationOptions​(java.lang.String id)
      • DiagnosticRegistrationOptions

        public DiagnosticRegistrationOptions​(boolean interFileDependencies,
                                             boolean workspaceDiagnostics)
    • Method Detail

      • getId

        public java.lang.String getId()
        The id used to register the request. The id can be used to deregister the request again. See also Registration.id.
      • setId

        public void setId​(java.lang.String id)
        The id used to register the request. The id can be used to deregister the request again. See also Registration.id.
      • getIdentifier

        public java.lang.String getIdentifier()
        An optional identifier under which the diagnostics are managed by the client.
      • setIdentifier

        public void setIdentifier​(java.lang.String identifier)
        An optional identifier under which the diagnostics are managed by the client.
      • isInterFileDependencies

        public boolean isInterFileDependencies()
        Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters.
      • setInterFileDependencies

        public void setInterFileDependencies​(boolean interFileDependencies)
        Whether the language has inter file dependencies meaning that editing code in one file can result in a different diagnostic set in another file. Inter file dependencies are common for most programming languages and typically uncommon for linters.
      • isWorkspaceDiagnostics

        public boolean isWorkspaceDiagnostics()
        The server provides support for workspace diagnostics as well.
      • setWorkspaceDiagnostics

        public void setWorkspaceDiagnostics​(boolean workspaceDiagnostics)
        The server provides support for workspace diagnostics as well.