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