Class: RBS::Definition::InstanceAncestors

Inherits:
Object
  • Object
show all
Defined in:
lib/rbs/definition.rb

Instance Attribute Summary collapse

Instance Method Summary collapse

Constructor Details

#initialize(type_name:, params:, ancestors:) ⇒ InstanceAncestors

Returns a new instance of InstanceAncestors.



149
150
151
152
153
 
# File 'lib/rbs/definition.rb', line 149

def initialize(type_name:, params:, ancestors:)
  @type_name = type_name
  @params = params
  @ancestors = ancestors
end

Instance Attribute Details

#ancestors ⇒ Object (readonly)

Returns the value of attribute ancestors.



147
148
149
 
# File 'lib/rbs/definition.rb', line 147

def ancestors
  @ancestors
end

#params ⇒ Object (readonly)

Returns the value of attribute params.



146
147
148
 
# File 'lib/rbs/definition.rb', line 146

def params
  @params
end

#type_name ⇒ Object (readonly)

Returns the value of attribute type_name.



145
146
147
 
# File 'lib/rbs/definition.rb', line 145

def type_name
  @type_name
end

Instance Method Details

#apply(args, location:) ⇒ Object 



155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
 
# File 'lib/rbs/definition.rb', line 155

def apply(args, location:)
  InvalidTypeApplicationError.check!(
    type_name: type_name,
    args: args,
    params: params,
    location: location
  )

  subst = Substitution.build(params, args)

  ancestors.map do |ancestor|
    case ancestor
    when Ancestor::Instance
      if ancestor.args.empty?
        ancestor
      else
        Ancestor::Instance.new(
          name: ancestor.name,
          args: ancestor.args.map {|type| type.sub(subst) }
        )
      end
    when Ancestor::Singleton
      ancestor
    end
  end
end