class TypedRb::Model::TmSelf

booleans

Public Class Methods

new(node) click to toggle source
Calls superclass method TypedRb::Model::Expr::new
# File lib/typed/model/tm_self.rb, line 7
def initialize(node)
  super(node)
end

Public Instance Methods

check_type(context) click to toggle source
# File lib/typed/model/tm_self.rb, line 11
def check_type(context)
  self_type = context.get_type_for(:self)
  if self_type.nil?
    fail TypeCheckError.new.new('Error type checking self reference: Cannot find self reference in typing context', node)
  else
    self_type
  end
end