class TypeProf::Core::Type::Var

Attributes

name[R]
vtx[R]

Public Class Methods

new(genv, name, vtx) click to toggle source

: (GlobalEnv, ::Symbol, Vertex) -> void

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 332
def initialize(genv, name, vtx)
  @name = name
  @vtx = vtx
end

Public Instance Methods

base_type(genv) click to toggle source 
# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 339
def base_type(genv)
  genv.obj_type # Is this ok?
end
check_match(genv, changes, vtx) click to toggle source 
# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 343
def check_match(genv, changes, vtx)
  true # should implement a better support...
end
show() click to toggle source 
# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 347
def show
  "var[#{ @name }]"
end