Gecko [ v3.cesa.co.za ]

Name	Size	Permission	Date
annotate	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
ast	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
collection	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
definition_builder	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
parser_compat	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
prototype	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
test	[ DIR ]	drwxr-xr-x	2025-06-05 11:22
ancestor_graph.rb	2.47 KB	-rw-r--r--	2022-04-12 11:11
annotate.rb	157 B	-rw-r--r--	2022-04-12 11:11
buffer.rb	1 KB	-rw-r--r--	2022-04-12 11:11
builtin_names.rb	1.59 KB	-rw-r--r--	2022-04-12 11:11
char_scanner.rb	292 B	-rw-r--r--	2022-04-12 11:11
cli.rb	27.19 KB	-rw-r--r--	2022-04-12 11:11
collection.rb	295 B	-rw-r--r--	2022-04-12 11:11
constant.rb	461 B	-rw-r--r--	2022-04-12 11:11
constant_table.rb	5.04 KB	-rw-r--r--	2022-04-12 11:11
definition.rb	9.47 KB	-rw-r--r--	2022-04-12 11:11
definition_builder.rb	32.63 KB	-rw-r--r--	2022-04-12 11:11
environment.rb	15.26 KB	-rw-r--r--	2022-04-12 11:11
environment_loader.rb	3.32 KB	-rw-r--r--	2022-04-12 11:11
environment_walker.rb	4.2 KB	-rw-r--r--	2022-04-12 11:11
errors.rb	11.68 KB	-rw-r--r--	2022-04-12 11:11
factory.rb	301 B	-rw-r--r--	2022-04-12 11:11
location_aux.rb	2.73 KB	-rw-r--r--	2022-04-12 11:11
locator.rb	5.39 KB	-rw-r--r--	2022-04-12 11:11
method_type.rb	2.65 KB	-rw-r--r--	2022-04-12 11:11
namespace.rb	2.12 KB	-rw-r--r--	2022-04-12 11:11
parser_aux.rb	1.3 KB	-rw-r--r--	2022-04-12 11:11
repository.rb	2.83 KB	-rw-r--r--	2022-04-12 11:11
substitution.rb	1.23 KB	-rw-r--r--	2022-04-12 11:11
test.rb	2.57 KB	-rw-r--r--	2022-04-12 11:11
type_alias_dependency.rb	2.82 KB	-rw-r--r--	2022-04-12 11:11
type_alias_regularity.rb	3.14 KB	-rw-r--r--	2022-04-12 11:11
type_name.rb	1.63 KB	-rw-r--r--	2022-04-12 11:11
type_name_resolver.rb	1.56 KB	-rw-r--r--	2022-04-12 11:11
types.rb	27.19 KB	-rw-r--r--	2022-04-12 11:11
validator.rb	4.6 KB	-rw-r--r--	2022-04-12 11:11
variance_calculator.rb	4.45 KB	-rw-r--r--	2022-04-12 11:11
vendorer.rb	2.03 KB	-rw-r--r--	2022-04-12 11:11
version.rb	35 B	-rw-r--r--	2022-04-12 11:11
writer.rb	7.91 KB	-rw-r--r--	2022-04-12 11:11

Rename

module RBS
  class ConstantTable
    attr_reader :definition_builder
    attr_reader :constant_scopes_cache

def env
      definition_builder.env
    end

def resolver
      @resolver ||= TypeNameResolver.from_env(env)
    end

def initialize(builder:)
      @definition_builder = builder
      @constant_scopes_cache = {}
    end

def absolute_type(type, context:)
      type.map_type_name do |type_name, location|
        absolute_type_name(type_name, context: context, location: location)
      end
    end

def absolute_type_name(type_name, context:, location:)
      resolver.resolve(type_name, context: context) or
        raise NoTypeFoundError.new(type_name: type_name, location: location)
    end

def name_to_constant(name)
      case
      when entry = env.constant_decls[name]
        type = absolute_type(entry.decl.type, context: entry.context)
        Constant.new(name: name, type: type, entry: entry)
      when entry = env.class_decls[name]
        type = Types::ClassSingleton.new(name: name, location: nil)
        Constant.new(name: name, type: type, entry: entry)
      end
    end

def split_name(name)
      name.namespace.path + [name.name]
    end

def resolve_constant_reference(name, context:)
      raise "Context cannot be empty: Specify `[Namespace.root]`" if context.empty?

head, *tail = split_name(name)

raise unless head

head_constant = case
                      when name.absolute?
                        name_to_constant(TypeName.new(name: head, namespace: Namespace.root))
                      when context == [Namespace.root]
                        name_to_constant(TypeName.new(name: head, namespace: Namespace.root))
                      else
                        resolve_constant_reference_context(head, context: context) ||
                          context.first.yield_self do |first_contet|
                            raise unless first_contet
                            resolve_constant_reference_inherit(head, scopes: constant_scopes(first_contet.to_type_name))
                          end
                      end

tail.inject(head_constant) do |constant, name|
        if constant
          resolve_constant_reference_inherit(
            name,
            scopes: constant_scopes(constant.name),
            no_object: constant.name != BuiltinNames::Object.name
          )
        end
      end
    end

def resolve_constant_reference_context(name, context:)
      head, *tail = context

if head
        if head.path.last == name
          name_to_constant(head.to_type_name)
        else
          name_to_constant(TypeName.new(name: name, namespace: head)) ||
            resolve_constant_reference_context(name, context: tail)
        end
      end
    end

def resolve_constant_reference_inherit(name, scopes:, no_object: false)
      scopes.each do |context|
        if context.path == [:Object]
          unless no_object
            constant = name_to_constant(TypeName.new(name: name, namespace: context)) ||
              name_to_constant(TypeName.new(name: name, namespace: Namespace.root))
          end
        else
          constant = name_to_constant(TypeName.new(name: name, namespace: context))
        end

return constant if constant
      end

nil
    end

def constant_scopes(name)
      constant_scopes_cache[name] ||= constant_scopes0(name, scopes: [])
    end

def constant_scopes_module(name, scopes:)
      entry = env.class_decls[name]
      namespace = name.to_namespace

entry.decls.each do |d|
        d.decl.members.each do |member|
          case member
          when AST::Members::Include
            if member.name.class?
              constant_scopes_module absolute_type_name(member.name, context: d.context, location: member.location),
                                     scopes: scopes
            end
          end
        end
      end

scopes.unshift namespace
    end

def constant_scopes0(name, scopes: [])
      entry = env.class_decls[name]
      namespace = name.to_namespace

case entry
      when Environment::ClassEntry
        unless name == BuiltinNames::BasicObject.name
          super_name = entry.primary.decl.super_class&.yield_self do |super_class|
            absolute_type_name(super_class.name, context: entry.primary.context, location: entry.primary.decl.location)
          end || BuiltinNames::Object.name

constant_scopes0 super_name, scopes: scopes
        end

entry.decls.each do |d|
          d.decl.members.each do |member|
            case member
            when AST::Members::Include
              if member.name.class?
                constant_scopes_module absolute_type_name(member.name, context: d.context, location: member.location),
                                       scopes: scopes
              end
            end
          end
        end

scopes.unshift namespace

when Environment::ModuleEntry
        constant_scopes0 BuiltinNames::Module.name, scopes: scopes
        constant_scopes_module name, scopes: scopes
      end

scopes
    end
  end
end