123456789_123456789_123456789_123456789_123456789_

Class: TypeProf::Type::Proc

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 Attribute Summary

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(block_body, base_type) ⇒ Proc

[ GitHub ] 

  


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



def initialize(block_body, base_type)
  @block_body, @base_type = block_body, base_type
end


  







Instance Attribute Details



  

    #base_type   (readonly)
  

  [ GitHub ]


  

  


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



attr_reader :block_body, :base_type


  








  

    #block_body   (readonly)
  

  [ GitHub ]


  

  


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



attr_reader :block_body, :base_type


  







Instance Method Details



  

    #consistent?(other)  ⇒ Boolean 
  



  

    
  





  


  [ GitHub ]


  

  


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



def consistent?(other)
  case other
  when Type::Proc
    @block_body.consistent?(other.block_body)
  else
    self == other
  end
end


  








  

    #include_untyped?(scratch)  ⇒ Boolean 
  



  

    
  





  


  [ GitHub ]


  

  


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



def include_untyped?(scratch)
  false # XXX: need to check the block signatures recursively
end


  








  

    #method_dispatch_info  
  

  [ GitHub ]


  

  


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



def method_dispatch_info
  @base_type.method_dispatch_info
end


  








  

    #screen_name(scratch)  
  

  [ GitHub ]


  

  


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



def screen_name(scratch)
  scratch.show_proc_signature([self])
end


  








  

    #substitute(subst, depth)  
  

  [ GitHub ]


  

  


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



def substitute(subst, depth)
  Proc.new(@block_body.substitute(subst, depth), @base_type)
end