lib/language_server/protocol/interface/workspace_unchanged_document_diagnostic_report.rb



module LanguageServer
  module Protocol
    module Interface
      #
      # An unchanged document diagnostic report for a workspace diagnostic result.
      #
      class WorkspaceUnchangedDocumentDiagnosticReport
        def initialize(kind:, result_id:, uri:, version:)
          @attributes = {}

          @attributes[:kind] = kind
          @attributes[:resultId] = result_id
          @attributes[:uri] = uri
          @attributes[:version] = version

          @attributes.freeze
        end

        #
        # A document diagnostic report indicating
        # no changes to the last result. A server can
        # only return `unchanged` if result ids are
        # provided.
        #
        # @return [any]
        def kind
          attributes.fetch(:kind)
        end

        #
        # A result id which will be sent on the next
        # diagnostic request for the same document.
        #
        # @return [string]
        def result_id
          attributes.fetch(:resultId)
        end

        #
        # The URI for which diagnostic information is reported.
        #
        # @return [string]
        def uri
          attributes.fetch(:uri)
        end

        #
        # The version number for which the diagnostics are reported.
        # If the document is not marked as open `null` can be provided.
        #
        # @return [number]
        def version
          attributes.fetch(:version)
        end

        attr_reader :attributes

        def to_hash
          attributes
        end

        def to_json(*args)
          to_hash.to_json(*args)
        end
      end
    end
  end
end