class RBS::Types::Record
Attributes
fields[R]
location[R]
Public Class Methods
new(fields:, location:)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 521 def initialize(fields:, location:) @fields = fields @location = location end
Public Instance Methods
==(other)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 526 def ==(other) other.is_a?(Record) && other.fields == fields end
Also aliased as: eql?
each_type(&block)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 566 def each_type(&block) if block fields.each_value(&block) else enum_for :each_type end end
free_variables(set = Set.new)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 536 def free_variables(set = Set.new) set.tap do fields.each_value do |type| type.free_variables set end end end
has_classish_type?()
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 596 def has_classish_type? each_type.any? {|type| type.has_classish_type? } end
has_self_type?()
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 592 def has_self_type? each_type.any? {|type| type.has_self_type? } end
hash()
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 532 def hash self.class.hash ^ fields.hash end
map_type() { |type| ... }
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 581 def map_type(&block) if block Record.new( fields: fields.transform_values {|type| yield type }, location: location ) else enum_for :map_type end end
map_type_name(&block)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 574 def map_type_name(&block) Record.new( fields: fields.transform_values {|ty| ty.map_type_name(&block) }, location: location ) end
sub(s)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 548 def sub(s) self.class.new(fields: fields.transform_values {|ty| ty.sub(s) }, location: location) end
to_json(state = _ = nil)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 544 def to_json(state = _ = nil) { class: :record, fields: fields, location: location }.to_json(state) end
to_s(level = 0)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 553 def to_s(level = 0) return "{ }" if self.fields.empty? fields = self.fields.map do |key, type| if key.is_a?(Symbol) && key.match?(/\A[A-Za-z_][A-Za-z_0-9]*\z/) "#{key}: #{type}" else "#{key.inspect} => #{type}" end end "{ #{fields.join(", ")} }" end
with_nonreturn_void?()
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 600 def with_nonreturn_void? each_type.any? {|type| type.with_nonreturn_void? } end