In Files

  • rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb

Class/Module Index [+]

Quicksearch

RBS::DefinitionBuilder::AncestorBuilder

Attributes

env[R]
instance_ancestors_cache[R]
interface_ancestors_cache[R]
one_instance_ancestors_cache[R]
one_interface_ancestors_cache[R]
one_singleton_ancestors_cache[R]
singleton_ancestors_cache[R]

Public Class Methods

new(env:) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 160
def initialize(env))
  @env = env

  @one_instance_ancestors_cache = {}
  @instance_ancestors_cache = {}

  @one_singleton_ancestors_cache = {}
  @singleton_ancestors_cache = {}

  @one_interface_ancestors_cache = {}
  @interface_ancestors_cache = {}
end
            

Public Instance Methods

instance_ancestors(type_name, building_ancestors: []) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 377
def instance_ancestors(type_name, building_ancestors: [])
  as = instance_ancestors_cache[type_name] and return as

  entry = env.class_decls[type_name] or raise "Unknown name for instance_ancestors: #{type_name}"
  params = entry.type_params.each.map(&:name)
  args = Types::Variable.build(params)
  self_ancestor = Definition::Ancestor::Instance.new(name: type_name, args: args, source: nil)

  RecursiveAncestorError.check!(self_ancestor,
                                ancestors: building_ancestors,
                                location: entry.primary.decl.location)
  building_ancestors.push self_ancestor

  one_ancestors = one_instance_ancestors(type_name)

  ancestors = []

  case entry
  when Environment::ClassEntry
    if super_class = one_ancestors.super_class
      # @type var super_class: Definition::Ancestor::Instance
      super_name = super_class.name
      super_args = super_class.args

      super_ancestors = instance_ancestors(super_name, building_ancestors: building_ancestors)
      ancestors.unshift(*super_ancestors.apply(super_args, location: entry.primary.decl.location))
    end
  end

  if self_types = one_ancestors.self_types
    self_types.each do |mod|
      if mod.name.class?
        # Ensure there is no loop in ancestors chain
        instance_ancestors(mod.name, building_ancestors: building_ancestors)
      end
    end
  end

  if included_modules = one_ancestors.included_modules
    included_modules.each do |mod|
      name = mod.name
      arg_types = mod.args
      mod_ancestors = instance_ancestors(name, building_ancestors: building_ancestors)
      ancestors.unshift(*mod_ancestors.apply(arg_types, location: entry.primary.decl.location))
    end
  end

  ancestors.unshift(self_ancestor)

  if prepended_modules = one_ancestors.prepended_modules
    prepended_modules.each do |mod|
      name = mod.name
      arg_types = mod.args
      mod_ancestors = instance_ancestors(name, building_ancestors: building_ancestors)
      ancestors.unshift(*mod_ancestors.apply(arg_types, location: entry.primary.decl.location))
    end
  end

  building_ancestors.pop

  instance_ancestors_cache[type_name] = Definition::InstanceAncestors.new(
    type_name: type_name,
    params: params,
    ancestors: ancestors
  )
end
            
interface_ancestors(type_name, building_ancestors: []) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 492
def interface_ancestors(type_name, building_ancestors: [])
  as = interface_ancestors_cache[type_name] and return as

  entry = env.interface_decls[type_name] or raise "Unknown name for interface_ancestors: #{type_name}"
  params = entry.decl.type_params.each.map(&:name)
  args = Types::Variable.build(params)
  self_ancestor = Definition::Ancestor::Instance.new(name: type_name, args: args, source: nil)

  RecursiveAncestorError.check!(self_ancestor,
                                ancestors: building_ancestors,
                                location: entry.decl.location)
  building_ancestors.push self_ancestor

  one_ancestors = one_interface_ancestors(type_name)
  ancestors = []

  included_interfaces = one_ancestors.included_interfaces or raise
  included_interfaces.each do |a|
    included_ancestors = interface_ancestors(a.name, building_ancestors: building_ancestors)
    ancestors.unshift(*included_ancestors.apply(a.args, location: entry.decl.location))
  end

  ancestors.unshift(self_ancestor)
  building_ancestors.pop

  interface_ancestors_cache[type_name] = Definition::InstanceAncestors.new(
    type_name: type_name,
    params: params,
    ancestors: ancestors
  )
end
            
mixin_ancestors(entry, included_modules:, included_interfaces:, extended_modules:, prepended_modules:, extended_interfaces:) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 358
def mixin_ancestors(entry, included_modules,, included_interfaces,, extended_modules,, prepended_modules,, extended_interfaces))
  entry.decls.each do |d|
    decl = d.decl

    align_params = Substitution.build(
      decl.type_params.each.map(&:name),
      Types::Variable.build(entry.type_params.each.map(&:name))
    )

    mixin_ancestors0(decl,
                     align_params: align_params,
                     included_modules: included_modules,
                     included_interfaces: included_interfaces,
                     extended_modules: extended_modules,
                     prepended_modules: prepended_modules,
                     extended_interfaces: extended_interfaces)
  end
end
            
mixin_ancestors0(decl, align_params:, included_modules:, included_interfaces:, extended_modules:, prepended_modules:, extended_interfaces:) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 314
def mixin_ancestors0(decl, align_params,, included_modules,, included_interfaces,, extended_modules,, prepended_modules,, extended_interfaces))
  decl.each_mixin do |member|
    case member
    when AST::Members::Include
      module_name = member.name
      module_args = member.args.map {|type| align_params ? type.sub(align_params) : type }
      ancestor = Definition::Ancestor::Instance.new(name: module_name, args: module_args, source: member)

      case
      when member.name.class? && included_modules
        NoMixinFoundError.check!(member.name, env: env, member: member)
        included_modules << ancestor
      when member.name.interface? && included_interfaces
        NoMixinFoundError.check!(member.name, env: env, member: member)
        included_interfaces << ancestor
      end

    when AST::Members::Prepend
      if prepended_modules
        NoMixinFoundError.check!(member.name, env: env, member: member)

        module_name = member.name
        module_args = member.args.map {|type| align_params ? type.sub(align_params) : type }

        prepended_modules << Definition::Ancestor::Instance.new(name: module_name, args: module_args, source: member)
      end

    when AST::Members::Extend
      module_name = member.name
      module_args = member.args
      ancestor = Definition::Ancestor::Instance.new(name: module_name, args: module_args, source: member)

      case
      when member.name.class? && extended_modules
        NoMixinFoundError.check!(member.name, env: env, member: member)
        extended_modules << ancestor
      when member.name.interface? && extended_interfaces
        NoMixinFoundError.check!(member.name, env: env, member: member)
        extended_interfaces << ancestor
      end
    end
  end
end
            
one_instance_ancestors(type_name) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 190
def one_instance_ancestors(type_name)
  as = one_instance_ancestors_cache[type_name] and return as

  entry = env.class_decls[type_name] or raise "Unknown name for one_instance_ancestors: #{type_name}"
  params = entry.type_params.each.map(&:name)

  case entry
  when Environment::ClassEntry
    validate_super_class!(type_name, entry)
    primary = entry.primary
    super_class = primary.decl.super_class

    if type_name != BuiltinNames::BasicObject.name
      if super_class
        super_name = super_class.name
        super_args = super_class.args
      else
        super_name = BuiltinNames::Object.name
        super_args = []
      end

      NoSuperclassFoundError.check!(super_name, env: env, location: primary.decl.location)

      ancestors = OneAncestors.class_instance(
        type_name: type_name,
        params: params,
        super_class: Definition::Ancestor::Instance.new(name: super_name, args: super_args, source: :super)
      )
    else
      ancestors = OneAncestors.class_instance(
        type_name: type_name,
        params: params,
        super_class: nil
      )
    end
  when Environment::ModuleEntry
    ancestors = OneAncestors.module_instance(type_name: type_name, params: params)

    self_types = ancestors.self_types or raise
    if entry.self_types.empty?
      self_types.push Definition::Ancestor::Instance.new(name: BuiltinNames::Object.name, args: [], source: nil)
    else
      entry.self_types.each do |module_self|
        NoSelfTypeFoundError.check!(module_self, env: env)
        self_types.push Definition::Ancestor::Instance.new(name: module_self.name, args: module_self.args, source: module_self)
      end
    end
  end

  mixin_ancestors(entry,
                  included_modules: ancestors.included_modules,
                  included_interfaces: ancestors.included_interfaces,
                  prepended_modules: ancestors.prepended_modules,
                  extended_modules: nil,
                  extended_interfaces: nil)

  one_instance_ancestors_cache[type_name] = ancestors
end
            
one_interface_ancestors(type_name) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 296
def one_interface_ancestors(type_name)
  one_interface_ancestors_cache[type_name] ||=
    begin
      entry = env.interface_decls[type_name] or raise "Unknown name for one_interface_ancestors: #{type_name}"
      params = entry.decl.type_params.each.map(&:name)

      OneAncestors.interface(type_name: type_name, params: params).tap do |ancestors|
        mixin_ancestors0(entry.decl,
                         align_params: nil,
                         included_modules: nil,
                         included_interfaces: ancestors.included_interfaces,
                         prepended_modules: nil,
                         extended_modules: nil,
                         extended_interfaces: nil)
      end
    end
end
            
one_singleton_ancestors(type_name) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 249
def one_singleton_ancestors(type_name)
  as = one_singleton_ancestors_cache[type_name] and return as

  entry = env.class_decls[type_name] or raise "Unknown name for one_singleton_ancestors: #{type_name}"

  case entry
  when Environment::ClassEntry
    validate_super_class!(type_name, entry)
    primary = entry.primary
    super_class = primary.decl.super_class

    if type_name != BuiltinNames::BasicObject.name
      if super_class
        super_name = super_class.name
      else
        super_name = BuiltinNames::Object.name
      end

      NoSuperclassFoundError.check!(super_name, env: env, location: primary.decl.location)

      ancestors = OneAncestors.singleton(
        type_name: type_name,
        super_class: Definition::Ancestor::Singleton.new(name: super_name)
      )
    else
      ancestors = OneAncestors.singleton(
        type_name: type_name,
        super_class: Definition::Ancestor::Instance.new(name: BuiltinNames::Class.name, args: [], source: :super)
      )
    end
  when Environment::ModuleEntry
    ancestors = OneAncestors.singleton(
      type_name: type_name,
      super_class: Definition::Ancestor::Instance.new(name: BuiltinNames::Module.name, args: [], source: :super)
    )
  end

  mixin_ancestors(entry,
                  included_modules: nil,
                  included_interfaces: nil,
                  prepended_modules: nil,
                  extended_modules: ancestors.extended_modules,
                  extended_interfaces: ancestors.extended_interfaces)

  one_singleton_ancestors_cache[type_name] = ancestors
end
            
singleton_ancestors(type_name, building_ancestors: []) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 444
def singleton_ancestors(type_name, building_ancestors: [])
  as = singleton_ancestors_cache[type_name] and return as

  entry = env.class_decls[type_name] or raise "Unknown name for singleton_ancestors: #{type_name}"
  self_ancestor = Definition::Ancestor::Singleton.new(name: type_name)

  RecursiveAncestorError.check!(self_ancestor,
                                ancestors: building_ancestors,
                                location: entry.primary.decl.location)
  building_ancestors.push self_ancestor

  one_ancestors = one_singleton_ancestors(type_name)

  ancestors = []

  case super_class = one_ancestors.super_class
  when Definition::Ancestor::Instance
    super_name = super_class.name
    super_args = super_class.args

    super_ancestors = instance_ancestors(super_name, building_ancestors: building_ancestors)
    ancestors.unshift(*super_ancestors.apply(super_args, location: entry.primary.decl.location))

  when Definition::Ancestor::Singleton
    super_name = super_class.name

    super_ancestors = singleton_ancestors(super_name, building_ancestors: [])
    ancestors.unshift(*super_ancestors.ancestors)
  end

  extended_modules = one_ancestors.extended_modules or raise
  extended_modules.each do |mod|
    name = mod.name
    args = mod.args
    mod_ancestors = instance_ancestors(name, building_ancestors: building_ancestors)
    ancestors.unshift(*mod_ancestors.apply(args, location: entry.primary.decl.location))
  end

  ancestors.unshift(self_ancestor)

  building_ancestors.pop

  singleton_ancestors_cache[type_name] = Definition::SingletonAncestors.new(
    type_name: type_name,
    ancestors: ancestors
  )
end
            
validate_super_class!(type_name, entry) click to toggle source
 
               # File rbs-1.0.4/lib/rbs/definition_builder/ancestor_builder.rb, line 173
def validate_super_class!(type_name, entry)
  with_super_classes = entry.decls.select {|d| d.decl.super_class }

  return if with_super_classes.size <= 1

  super_types = with_super_classes.map do |d|
    super_class = d.decl.super_class or raise
    Types::ClassInstance.new(name: super_class.name, args: super_class.args, location: nil)
  end

  super_types.uniq!

  return if super_types.size == 1

  raise SuperclassMismatchError.new(name: type_name, entry: entry)
end