Class: Rigor::TypeNode::NameScope

Inherits:
Object
  • Object
show all
Defined in:
lib/rigor/type_node/name_scope.rb

Overview

Companion context handed to every Plugin::TypeNodeResolver invocation. ADR-13 ยง "Plugin::TypeNodeResolver shape".

Three slots:

  • resolver: re-entry point so a plugin can recursively resolve its own arguments. Any object responding to #resolve(node, scope). Slice 3 uses ResolverChain as the concrete implementation; tests may pass a stub that answers resolve directly.
  • class_context: the surrounding class / module name, if any (String or nil). Plugins use this to resolve self-relative type references or to scope nominal-name lookups.
  • type_alias_table: a frozen read-only view of the project's RBS type aliases for forward references. Slice 3 lands the slot with a default empty Hash; the populated table is wired from Environment in a later slice once plugin authors ask for it.

Instance Method Summary collapse

Constructor Details

#initialize(resolver:, class_context: nil, type_alias_table: {}) ⇒ NameScope

Returns a new instance of NameScope.



25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
 
# File 'lib/rigor/type_node/name_scope.rb', line 25

def initialize(resolver:, class_context: nil, type_alias_table: {})
  unless resolver.respond_to?(:resolve)
    raise ArgumentError,
          "TypeNode::NameScope resolver must respond to #resolve(node, scope), " \
          "got #{resolver.inspect}"
  end

  unless class_context.nil? || class_context.is_a?(String)
    raise ArgumentError,
          "TypeNode::NameScope class_context must be nil or a String, " \
          "got #{class_context.inspect}"
  end

  unless type_alias_table.is_a?(Hash)
    raise ArgumentError,
          "TypeNode::NameScope type_alias_table must be a Hash, " \
          "got #{type_alias_table.inspect}"
  end

  super(
    resolver: resolver,
    class_context: class_context.nil? ? nil : class_context.dup.freeze,
    type_alias_table: type_alias_table.dup.freeze
  )
end