123456789_123456789_123456789_123456789_123456789_

Class: TypeProf::Type::HashGenerator

Relationships & Source Files
Inherits: Object
Defined in: lib/typeprof/type.rb

Class Method Summary

Instance Attribute Summary

Instance Method Summary

Constructor Details

.new ⇒ HashGenerator

[ GitHub ] 

  


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



def initialize
  @map_tys = {}
end


  







Instance Attribute Details



  

    #map_tys   (readonly)
  

  [ GitHub ]


  

  


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



attr_reader :map_tys


  







Instance Method Details



  

    #[]=(k_ty, v_ty)  
  

  [ GitHub ]


  

  


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



def []=(k_ty, v_ty)
  k_ty.each_child_global do |k_ty|
    # This is a temporal hack to mitigate type explosion
    k_ty = Type.any if k_ty.is_a?(Type::Array)
    k_ty = Type.any if k_ty.is_a?(Type::Hash)

    if @map_tys[k_ty]
      @map_tys[k_ty] = @map_tys[k_ty].union(v_ty)
    else
      @map_tys[k_ty] = v_ty
    end
  end
end