class RBS::Resolver::TypeNameResolver

Attributes

all_names[R]
cache[R]
env[R]

Public Class Methods

new(env) click to toggle source
# File rbs-3.4.0/lib/rbs/resolver/type_name_resolver.rb, line 10
def initialize(env)
  @all_names = Set[]
  @cache = {}
  @env = env

  all_names.merge(env.class_decls.keys)
  all_names.merge(env.interface_decls.keys)
  all_names.merge(env.type_alias_decls.keys)
  all_names.merge(env.class_alias_decls.keys)
end

Public Instance Methods

has_name?(full_name) click to toggle source
# File rbs-3.4.0/lib/rbs/resolver/type_name_resolver.rb, line 84
def has_name?(full_name)
  if all_names.include?(full_name)
    full_name
  end
end
partition(type_name) click to toggle source
# File rbs-3.4.0/lib/rbs/resolver/type_name_resolver.rb, line 51
def partition(type_name)
  if type_name.namespace.empty?
    head = type_name.name
    tail = nil
  else
    head, *tail = type_name.namespace.path

    head or raise

    tail = TypeName.new(
      name: type_name.name,
      namespace: Namespace.new(absolute: false, path: tail)
    )
  end

  [head, tail]
end
resolve(type_name, context:) click to toggle source
# File rbs-3.4.0/lib/rbs/resolver/type_name_resolver.rb, line 28
def resolve(type_name, context:)
  if type_name.absolute?
    return type_name
  end

  try_cache([type_name, context]) do
    head, tail = partition(type_name)

    head = resolve_in(head, context)

    if head
      if tail
        absolute_name = tail.with_prefix(head.to_namespace)
        if env.normalize_type_name?(absolute_name)
          absolute_name
        end
      else
        head
      end
    end
  end
end
resolve_in(head, context) click to toggle source
# File rbs-3.4.0/lib/rbs/resolver/type_name_resolver.rb, line 69
def resolve_in(head, context)
  if context
    parent, child = context
    case child
    when false
      resolve_in(head, parent)
    when TypeName
      name = TypeName.new(name: head, namespace: child.to_namespace)
      has_name?(name) || resolve_in(head, parent)
    end
  else
    has_name?(TypeName.new(name: head, namespace: Namespace.root))
  end
end
try_cache(query) { || ... } click to toggle source
# File rbs-3.4.0/lib/rbs/resolver/type_name_resolver.rb, line 21
def try_cache(query)
  cache.fetch(query) do
    result = yield
    cache[query] = result
  end
end