123456789_123456789_123456789_123456789_123456789_

Class: TypeProf::Type::Cell

Relationships & Source Files
Namespace Children
Classes:
Elements
Super Chains via Extension / Inclusion / Inheritance
Class Chain:
self, ContainerType, ::TypeProf::Type
Instance Chain:
self, ContainerType, ::TypeProf::Type, ::TypeProf::Utils::StructuralEquality
Inherits: TypeProf::Type::ContainerType
Defined in: lib/typeprof/container-type.rb

Overview

The most basic container type for default type parameter class

Constant Summary

::TypeProf::Type - Inherited

Builtin, DummySubstitution

Class Method Summary

ContainerType - Inherited

.create_empty_instance

::TypeProf::Type - Inherited

.any, .bool, .bot, .builtin_global_variable_type, .gen_hash, .guess_literal_type, .match?, .merge_substitution, .new, .nil, .optional

Instance Attribute Summary

Instance Method Summary

ContainerType - Inherited

#consistent?, #each_free_type_variable, #include_untyped?, #match?

::TypeProf::Type - Inherited

#each_child, #each_child_global, #each_free_type_variable, #generate_substitution, #globalize, #include_untyped?, #limit_size, #localize, #remove_type_vars, #substitute, #union, #union_elems

Constructor Details

.new(elems, base_type) ⇒ Cell

[ GitHub ] 

  


# File 'lib/typeprof/container-type.rb', line 58



def initialize(elems, base_type)
  raise if !elems.is_a?(Cell::Elements)
  @elems = elems # Cell::Elements
  raise unless base_type
  @base_type = base_type
  if base_type.klass.type_params.size != elems.elems.size
    raise
  end
end


  







Instance Attribute Details



  

    #base_type   (readonly)
  

  [ GitHub ]


  

  


# File 'lib/typeprof/container-type.rb', line 68



attr_reader :elems, :base_type


  








  

    #elems   (readonly)
  

  [ GitHub ]


  

  


# File 'lib/typeprof/container-type.rb', line 68



attr_reader :elems, :base_type


  







Instance Method Details



  

    #generate_substitution  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/container-type.rb', line 106



def generate_substitution
  subst = {}
  tyvars = @base_type.klass.type_params.map {|name,| Type::Var.new(name) }
  tyvars.zip(@elems.elems) do |tyvar, elem|
    if subst[tyvar]
      subst[tyvar] = subst[tyvar].union(elem)
    else
      subst[tyvar] = elem
    end
  end
  subst
end


  








  

    #inspect  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/container-type.rb', line 70



def inspect
  "Type::Cell[#{ @elems.inspect }, base_type: #{ @base_type.inspect }]"
end


  








  

    #limit_size(limit)  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/container-type.rb', line 91



def limit_size(limit)
  return Type.any if limit <= 0
  Cell.new(@elems.limit_size(limit - 1), @base_type)
end


  








  

    #localize(env, alloc_site, depth)  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/container-type.rb', line 82



def localize(env, alloc_site, depth)
  return env, Type.any if depth <= 0
  alloc_site = alloc_site.add_id(:cell).add_id(@base_type)
  env, elems = @elems.localize(env, alloc_site, depth)
  ty = Local.new(Cell, alloc_site, @base_type)
  env = env.deploy_type(alloc_site, elems)
  return env, ty
end


  








  

    #method_dispatch_info  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/container-type.rb', line 96



def method_dispatch_info
  raise
end


  








  

    #screen_name(scratch)  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/container-type.rb', line 74



def screen_name(scratch)
  str = @elems.screen_name(scratch)
  if str.start_with?("*")
    str = @base_type.screen_name(scratch) + str[1..]
  end
  str
end


  








  

    #substitute(subst, depth)  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/container-type.rb', line 100



def substitute(subst, depth)
  return Type.any if depth <= 0
  elems = @elems.substitute(subst, depth)
  Cell.new(elems, @base_type)
end