class TypeProf::Core::Type::Symbol - typeprof: Ruby Standard Library Documentation

# 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