Class: Yoda::Typing::Traces::Base Abstract

Inherits:

Object

• Object
• Yoda::Typing::Traces::Base

Defined in:

lib/yoda/typing/traces/base.rb

Overview

This class is abstract.

Store evaluation result for each ast node.

Direct Known Subclasses

Normal, Send

Instance Method Summary

• #context ⇒ Context abstract
• #type ⇒ Model::Types::Base abstract
• #values ⇒ Array<Store::Objects::Base>

Instance Method Details

#context ⇒ Context

This method is abstract.

Returns:

• (Context)

# File 'lib/yoda/typing/traces/base.rb', line 20

def context
  fail NotImplementedError
end

#type ⇒ Model::Types::Base

This method is abstract.

Returns:

• (Model::Types::Base)

# File 'lib/yoda/typing/traces/base.rb', line 14

def type
  fail NotImplementedError
end

#values ⇒ Array<Store::Objects::Base>

Returns:

• (Array<Store::Objects::Base>)

# File 'lib/yoda/typing/traces/base.rb', line 8

def values
  type.resolve(context.registry)
end