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.
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
# 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
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