Sha256: 83f9a844fed5ac507b0c8653695e38f5a73dd8dfab75ef90b89054099468d997
Contents?: true
Size: 1.26 KB
Versions: 106
Compression:
Stored size: 1.26 KB
Contents
module LanguageServer module Protocol module Interface class ImplementationRegistrationOptions def initialize(document_selector:, work_done_progress: nil, id: nil) @attributes = {} @attributes[:documentSelector] = document_selector @attributes[:workDoneProgress] = work_done_progress if work_done_progress @attributes[:id] = id if id @attributes.freeze end # # A document selector to identify the scope of the registration. If set to # null the document selector provided on the client side will be used. # # @return [DocumentSelector] def document_selector attributes.fetch(:documentSelector) end # @return [boolean] def work_done_progress attributes.fetch(:workDoneProgress) end # # The id used to register the request. The id can be used to deregister # the request again. See also Registration#id. # # @return [string] def id attributes.fetch(:id) end attr_reader :attributes def to_hash attributes end def to_json(*args) to_hash.to_json(*args) end end end end end
Version data entries
106 entries across 106 versions & 13 rubygems