Symbol

Attributes

base_type[R]

sym[R]

Public Class Methods

new(sym, base_type) click to toggle source

 
               # File typeprof-0.12.0/lib/typeprof/type.rb, line 612
def initialize(sym, base_type)
  @sym = sym
  @base_type = base_type
end

Public Instance Methods

consistent?(other) click to toggle source

 
               # File typeprof-0.12.0/lib/typeprof/type.rb, line 623
def consistent?(other)
  case other
  when Symbol
    @sym == other.sym
  else
    @base_type.consistent?(other)
  end
end

inspect() click to toggle source

 
               # File typeprof-0.12.0/lib/typeprof/type.rb, line 619
def inspect
  "Type::Symbol[#{ @sym ? @sym.inspect : "(dynamic symbol)" }, #{ @base_type.inspect }]"
end

method_dispatch_info() click to toggle source

 
               # File typeprof-0.12.0/lib/typeprof/type.rb, line 640
def method_dispatch_info
  @base_type.method_dispatch_info
end

screen_name(scratch) click to toggle source

 
               # File typeprof-0.12.0/lib/typeprof/type.rb, line 632
def screen_name(scratch)
  if @sym
    @sym.inspect
  else
    @base_type.screen_name(scratch)
  end
end

substitute(_subst, _depth) click to toggle source

 
               # File typeprof-0.12.0/lib/typeprof/type.rb, line 644
def substitute(_subst, _depth)
  self # dummy
end

Home Classes Methods

In Files

Parent

Methods

Class/Module Index

Symbol

Attributes

Public Class Methods

Public Instance Methods