Class: Yoda::Typing::Tree::LogicalOperator

Inherits:

Base

• Object
• Base
• Yoda::Typing::Tree::LogicalOperator

Defined in:

lib/yoda/typing/tree/logical_operator.rb

Instance Attribute Summary

Attributes inherited from Base

#context, #node

Instance Method Summary

• #children ⇒ Object
• #type ⇒ Object

Methods inherited from Base

#build_child, #generator, #initialize

Constructor Details

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

Instance Method Details

#children ⇒ Object

# File 'lib/yoda/typing/tree/logical_operator.rb', line 5

def children
  @children = node.children.map(&method(:build_child))
end

#type ⇒ Object

# File 'lib/yoda/typing/tree/logical_operator.rb', line 9

def type
  Types::Union.new(node.children.map { |node| infer(node) })
end