Class: Yoda::Typing::Tree::MethodDef

Inherits:

Base

• Object
• Base
• Yoda::Typing::Tree::MethodDef

Includes:

MethodInferable

Defined in:

lib/yoda/typing/tree/method_def.rb

Instance Attribute Summary

Attributes inherited from Base

#context, #tracer

Instance Method Summary

• #body_node ⇒ Types::Type
• #infer_type ⇒ Types::Base
• #node ⇒ AST::DefNode
• #node_name ⇒ Symbol
• #parameters_node ⇒ AST::ParametersNode
• #self_type ⇒ Types::Type

Methods included from MethodInferable

#infer_method_type

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

#body_node ⇒ Types::Type

Returns:

• (Types::Type)

# File 'lib/yoda/typing/tree/method_def.rb', line 28

def body_node
  node.body
end

#infer_type ⇒ Types::Base

Returns:

• (Types::Base)

# File 'lib/yoda/typing/tree/method_def.rb', line 13

def infer_type
  infer_method_type(receiver_type: self_type)
end

#node ⇒ AST::DefNode

Returns:

• (AST::DefNode)

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

#node_name ⇒ Symbol

Returns:

• (Symbol)

# File 'lib/yoda/typing/tree/method_def.rb', line 18

def node_name
  node.name
end

#parameters_node ⇒ AST::ParametersNode

Returns:

• (AST::ParametersNode)

# File 'lib/yoda/typing/tree/method_def.rb', line 23

def parameters_node
  node.parameters
end

#self_type ⇒ Types::Type

Returns:

• (Types::Type)

# File 'lib/yoda/typing/tree/method_def.rb', line 33

def self_type
  @self_type ||= begin
    context.method_receiver
  end
end