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

.newHashGenerator

[ GitHub ]

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

def initialize
  @map_tys = {}
end

Instance Attribute Details

#map_tys (readonly)

[ GitHub ]

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

attr_reader :map_tys

Instance Method Details

#[]=(k_ty, v_ty)

[ GitHub ]

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

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