class RBS::Types::ClassInstance
Attributes
location[R]
Public Class Methods
new(name:, args:, location:)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 357 def initialize(name:, args:, location:) @name = name @args = args @location = location end
Public Instance Methods
map_type() { |type| ... }
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 381 def map_type(&block) if block ClassInstance.new( name: name, args: args.map {|type| yield type }, location: location ) else enum_for :map_type end end
map_type_name() { |name, location, self| ... }
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 373 def map_type_name(&block) ClassInstance.new( name: yield(name, location, self), args: args.map {|type| type.map_type_name(&block) }, location: location ) end
sub(s)
click to toggle source
# File rbs-3.4.0/lib/rbs/types.rb, line 367 def sub(s) self.class.new(name: name, args: args.map {|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 363 def to_json(state = _ = nil) { class: :class_instance, name: name, args: args, location: location }.to_json(state) end