class TypeProf::Core::Type::Symbol

Attributes

sym[R]

Public Class Methods

new(genv, sym) click to toggle source

: (GlobalEnv, ::Symbol) -> void

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

Public Instance Methods

base_type(genv) click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 292
def base_type(genv)
  genv.symbol_type
end

check_match(genv, changes, vtx) click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 296
def check_match(genv, changes, vtx)
  vtx.each_type do |other_ty|
    case other_ty
    when Symbol
      return true if @sym == other_ty.sym
    when Instance
      return true if genv.symbol_type.check_match(genv, changes, Source.new(other_ty))
    end
  end
  return false
end

show() click to toggle source

# File typeprof-0.30.1/lib/typeprof/core/type.rb, line 308
def show
  @sym.inspect
end