Class: RBS::Definition
- Inherits:
-
Object
show all
- Defined in:
- lib/rbs/definition.rb
Defined Under Namespace
Modules: Ancestor
Classes: InstanceAncestors, Method, SingletonAncestors, Variable
Instance Attribute Summary collapse
Instance Method Summary
collapse
Constructor Details
#initialize(type_name:, entry:, self_type:, ancestors:) ⇒ Definition
Returns a new instance of Definition.
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
|
# File 'lib/rbs/definition.rb', line 275
def initialize(type_name:, entry:, self_type:, ancestors:)
case entry
when Environment::ClassEntry, Environment::ModuleEntry
else
unless entry.decl.is_a?(AST::Declarations::Interface)
raise "Declaration should be a class, module, or interface: #{type_name}"
end
end
unless self_type.is_a?(Types::ClassSingleton) || self_type.is_a?(Types::Interface) || self_type.is_a?(Types::ClassInstance)
raise "self_type should be the type of declaration: #{self_type}"
end
@type_name = type_name
@self_type = self_type
@entry = entry
@methods = {}
@instance_variables = {}
@class_variables = {}
@ancestors = ancestors
end
|
Instance Attribute Details
#ancestors ⇒ Object
Returns the value of attribute ancestors.
269
270
271
|
# File 'lib/rbs/definition.rb', line 269
def ancestors
@ancestors
end
|
#class_variables ⇒ Object
Returns the value of attribute class_variables.
273
274
275
|
# File 'lib/rbs/definition.rb', line 273
def class_variables
@class_variables
end
|
#entry ⇒ Object
Returns the value of attribute entry.
268
269
270
|
# File 'lib/rbs/definition.rb', line 268
def entry
@entry
end
|
#instance_variables ⇒ Object
Returns the value of attribute instance_variables.
272
273
274
|
# File 'lib/rbs/definition.rb', line 272
def instance_variables
@instance_variables
end
|
#methods ⇒ Object
Returns the value of attribute methods.
271
272
273
|
# File 'lib/rbs/definition.rb', line 271
def methods
@methods
end
|
#self_type ⇒ Object
Returns the value of attribute self_type.
270
271
272
|
# File 'lib/rbs/definition.rb', line 270
def self_type
@self_type
end
|
#type_name ⇒ Object
Returns the value of attribute type_name.
267
268
269
|
# File 'lib/rbs/definition.rb', line 267
def type_name
@type_name
end
|
Instance Method Details
#class_type? ⇒ Boolean
315
316
317
|
# File 'lib/rbs/definition.rb', line 315
def class_type?
self_type.is_a?(Types::ClassSingleton)
end
|
#each_type(&block) ⇒ Object
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
|
# File 'lib/rbs/definition.rb', line 360
def each_type(&block)
if block
methods.each_value do |method|
if method.defined_in == type_name
method.method_types.each do |method_type|
method_type.each_type(&block)
end
end
end
instance_variables.each_value do |var|
if var.declared_in == type_name
yield var.type
end
end
class_variables.each_value do |var|
if var.declared_in == type_name
yield var.type
end
end
else
enum_for :each_type
end
end
|
#instance_type? ⇒ Boolean
319
320
321
|
# File 'lib/rbs/definition.rb', line 319
def instance_type?
self_type.is_a?(Types::ClassInstance)
end
|
#interface_type? ⇒ Boolean
323
324
325
|
# File 'lib/rbs/definition.rb', line 323
def interface_type?
self_type.is_a?(Types::Interface)
end
|
#map_method_type(&block) ⇒ Object
350
351
352
353
354
355
356
357
358
|
# File 'lib/rbs/definition.rb', line 350
def map_method_type(&block)
definition = self.class.new(type_name: type_name, self_type: self_type, ancestors: ancestors, entry: entry)
definition.methods.merge!(methods.transform_values {|method| method.map_method_type(&block) })
definition.instance_variables.merge!(instance_variables)
definition.class_variables.merge!(class_variables)
definition
end
|
#sub(s) ⇒ Object
340
341
342
343
344
345
346
347
348
|
# File 'lib/rbs/definition.rb', line 340
def sub(s)
definition = self.class.new(type_name: type_name, self_type: _ = self_type.sub(s), ancestors: ancestors, entry: entry)
definition.methods.merge!(methods.transform_values {|method| method.sub(s) })
definition.instance_variables.merge!(instance_variables.transform_values {|v| v.sub(s) })
definition.class_variables.merge!(class_variables.transform_values {|v| v.sub(s) })
definition
end
|
#type_params ⇒ Object
327
328
329
|
# File 'lib/rbs/definition.rb', line 327
def type_params
type_params_decl.each.map(&:name)
end
|
#type_params_decl ⇒ Object