123456789_123456789_123456789_123456789_123456789_

Class: TypeProf::Type::Var

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

Constant Summary

::TypeProf::Type - Inherited

Builtin, DummySubstitution

Class Method Summary

::TypeProf::Type - Inherited

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

Instance Method Summary

::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(name) ⇒ Var

[ GitHub ] 

  


# File 'lib/typeprof/type.rb', line 448



def initialize(name)
  @name = name
end


  







Instance Method Details



  

    #add_subst!(ty, subst)  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/type.rb', line 472



def add_subst!(ty, subst)
  if subst[self]
    subst[self] = subst[self].union(ty)
  else
    subst[self] = ty
  end
  true
end


  








  

    #consistent?(_other)  ⇒ Boolean 
  



  

    
  





  


  [ GitHub ]


  

  


# File 'lib/typeprof/type.rb', line 468



def consistent?(_other)
  raise "should not be called: #{ self }"
end


  








  

    #each_free_type_variable {|_self| ... } 
  



  

    
  





  
Yields:


    
  
  • 
    (_self)
  
    • 



Yield Parameters:


    
  
  • 
    _self
    (Var)
—    
    

    the object that the method was called on
    

    
  
    • 





  [ GitHub ]


  

  


# File 'lib/typeprof/type.rb', line 456



def each_free_type_variable
  yield self
end


  








  

    #screen_name(scratch)  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/type.rb', line 452



def screen_name(scratch)
  "Var[#{ @name }]"
end


  








  

    #substitute(subst, depth)  
  

  [ GitHub ]


  

  


# File 'lib/typeprof/type.rb', line 460



def substitute(subst, depth)
  if subst[self]
    subst[self].limit_size(depth)
  else
    self
  end
end