Class: RBS::Resolver::ConstantResolver
- Inherits:
-
Object
- Object
- RBS::Resolver::ConstantResolver
- Defined in:
- lib/rbs/resolver/constant_resolver.rb
Defined Under Namespace
Classes: Table
Instance Attribute Summary collapse
-
#builder ⇒ Object
readonly
Returns the value of attribute builder.
-
#child_constants_cache ⇒ Object
readonly
Returns the value of attribute child_constants_cache.
-
#context_constants_cache ⇒ Object
readonly
Returns the value of attribute context_constants_cache.
-
#table ⇒ Object
readonly
Returns the value of attribute table.
Instance Method Summary collapse
- #children(module_name) ⇒ Object
- #constants(context) ⇒ Object
- #constants_from_ancestors(module_name, constants:) ⇒ Object
- #constants_from_context(context, constants:) ⇒ Object
- #constants_itself(context, constants:) ⇒ Object
-
#initialize(builder:) ⇒ ConstantResolver
constructor
A new instance of ConstantResolver.
- #load_child_constants(name) ⇒ Object
- #load_context_constants(context) ⇒ Object
- #resolve(name, context:) ⇒ Object
- #resolve_child(module_name, name) ⇒ Object
Constructor Details
#initialize(builder:) ⇒ ConstantResolver
Returns a new instance of ConstantResolver.
75 76 77 78 79 80 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 75 def initialize(builder:) @builder = builder @table = Table.new(builder.env) @context_constants_cache = {} @child_constants_cache = {} end |
Instance Attribute Details
#builder ⇒ Object (readonly)
Returns the value of attribute builder.
72 73 74 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 72 def builder @builder end |
#child_constants_cache ⇒ Object (readonly)
Returns the value of attribute child_constants_cache.
73 74 75 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 73 def child_constants_cache @child_constants_cache end |
#context_constants_cache ⇒ Object (readonly)
Returns the value of attribute context_constants_cache.
73 74 75 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 73 def context_constants_cache @context_constants_cache end |
#table ⇒ Object (readonly)
Returns the value of attribute table.
72 73 74 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 72 def table @table end |
Instance Method Details
#children(module_name) ⇒ Object
99 100 101 102 103 104 105 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 99 def children(module_name) unless child_constants_cache.key?(module_name) load_child_constants(module_name) end child_constants_cache[module_name] or raise end |
#constants(context) ⇒ Object
87 88 89 90 91 92 93 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 87 def constants(context) unless context_constants_cache.key?(context) load_context_constants(context) end context_constants_cache[context] end |
#constants_from_ancestors(module_name, constants:) ⇒ Object
162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 162 def constants_from_ancestors(module_name, constants:) entry = builder.env.class_decls[module_name] if entry.is_a?(Environment::ModuleEntry) constants.merge!(table.children(BuiltinNames::Object.name) || raise) constants.merge!(table.toplevel) end builder.ancestor_builder.instance_ancestors(module_name).ancestors.reverse_each do |ancestor| if ancestor.is_a?(Definition::Ancestor::Instance) case ancestor.source when AST::Members::Include, :super, nil consts = table.children(ancestor.name) or raise if ancestor.name == BuiltinNames::Object.name && entry.is_a?(Environment::ClassEntry) # Insert toplevel constants as ::Object's constants consts.merge!(table.toplevel) end constants.merge!(consts) end end end end |
#constants_from_context(context, constants:) ⇒ Object
147 148 149 150 151 152 153 154 155 156 157 158 159 160 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 147 def constants_from_context(context, constants:) if context parent, last = context constants_from_context(parent, constants: constants) or return false if last consts = table.children(last) or return false constants.merge!(consts) end end true end |
#constants_itself(context, constants:) ⇒ Object
185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 185 def constants_itself(context, constants:) if context _, typename = context if typename if (ns = typename.namespace).empty? constant = table.toplevel[typename.name] or raise else hash = table.children(ns.to_type_name) or raise constant = hash[typename.name] end constants[typename.name] = constant end end end |
#load_child_constants(name) ⇒ Object
122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 122 def load_child_constants(name) # @type var constants: Hash[Symbol, Constant] constants = {} if table.children(name) builder.ancestor_builder.instance_ancestors(name).ancestors.reverse_each do |ancestor| if ancestor.is_a?(Definition::Ancestor::Instance) if ancestor.name == BuiltinNames::Object.name if name != BuiltinNames::Object.name next end end case ancestor.source when AST::Members::Include, :super, nil consts = table.children(ancestor.name) or raise constants.merge!(consts) end end end end child_constants_cache[name] = constants end |
#load_context_constants(context) ⇒ Object
107 108 109 110 111 112 113 114 115 116 117 118 119 120 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 107 def load_context_constants(context) # @type var consts: Hash[Symbol, Constant] consts = {} if last = context&.[](1) constants_from_ancestors(last, constants: consts) else constants_from_ancestors(BuiltinNames::Object.name, constants: consts) end constants_from_context(context, constants: consts) or return constants_itself(context, constants: consts) context_constants_cache[context] = consts end |
#resolve(name, context:) ⇒ Object
82 83 84 85 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 82 def resolve(name, context:) cs = constants(context) or raise "Broken context is given" cs[name] end |
#resolve_child(module_name, name) ⇒ Object
95 96 97 |
# File 'lib/rbs/resolver/constant_resolver.rb', line 95 def resolve_child(module_name, name) children(module_name)[name] end |