Class: Yoda::Typing::Tree::Constant

Inherits:
Base
  • Object
show all
Defined in:
lib/yoda/typing/tree/constant.rb

Instance Attribute Summary

Attributes inherited from Base

#context, #tracer

Instance Method Summary collapse

Methods inherited from Base

#build_child, #generator, #infer_child, #initialize, #inspect, #pretty_print, #type

Constructor Details

This class inherits a constructor from Yoda::Typing::Tree::Base

Instance Method Details

#infer_type ⇒ Object 



8
9
10
11
12
13
14
15
 
# File 'lib/yoda/typing/tree/constant.rb', line 8

def infer_type
  query = context.constant_resolver.build_query_for_node(node, tracer: tracer)
  if (base_query = query.base).is_a?(ConstantResolver::CodeQuery)
    base_query.result_type = infer_child(base_query.node)
  end

  context.constant_resolver.resolve(query)
end

#node ⇒ AST::ConstantNode

Returns:



8
9
10
11
12
13
14
15
 
# File 'lib/yoda/typing/tree/constant.rb', line 8

def infer_type
  query = context.constant_resolver.build_query_for_node(node, tracer: tracer)
  if (base_query = query.base).is_a?(ConstantResolver::CodeQuery)
    base_query.result_type = infer_child(base_query.node)
  end

  context.constant_resolver.resolve(query)
end