class RubyBreaker::TypeDefs::SelfType

This type represents the self type. Note that this is a subclass of Nominal Type. It works just like nominal type except that it also points to the current object! See subtyping.rb for more detail on how this would impact typing.

Public Class Methods

get_self(mod) click to toggle source

This is a getter method for class variable mod.

# File lib/rubybreaker/type/type.rb, line 105
def self.get_self(mod)
  @@mod = mod
end
new(*args) click to toggle source
Calls superclass method RubyBreaker::TypeDefs::NominalType::new
# File lib/rubybreaker/type/type.rb, line 109
def initialize(*args)
  # NOTE: @@mod is not required in general, but for typing it is a must.
  super(@@mod, *args)
end
set_self(mod) click to toggle source

This is a setter method for class variable mod. NOTE: It is set every time typesig() is called

# File lib/rubybreaker/type/type.rb, line 100
def self.set_self(mod)
  @@mod = mod
end