Contents

module Yoda
  class Server
    module Providers
      class WorkspaceDidDeleteFiles < Base
        def self.provider_method
          :'workspace/didDeleteFiles'
        end

        # @param params [LanguageServer::Protocol::Interface::DeleteFilesParams]
        def provide(params)
          files = params[:files]
          files.each do |file|
            session.remove_source(uri: file[:uri])
          end

          NO_RESPONSE
        end
      end
    end
  end
end

Version data entries

4 entries across 4 versions & 1 rubygems

Version	Path
yoda-language-server-0.10.1	lib/yoda/server/providers/workspace_did_delete_files.rb
yoda-language-server-0.10.0	lib/yoda/server/providers/workspace_did_delete_files.rb
yoda-language-server-0.9.0	lib/yoda/server/providers/workspace_did_delete_files.rb
yoda-language-server-0.8.0	lib/yoda/server/providers/workspace_did_delete_files.rb