class TypeProf::BlockSignature

Attributes

blk_ty[R]
lead_tys[R]
opt_tys[R]
rest_ty[R]

Public Class Methods

new(lead_tys, opt_tys, rest_ty, blk_ty) click to toggle source
# File typeprof-0.21.8/lib/typeprof/type.rb, line 1084
def initialize(lead_tys, opt_tys, rest_ty, blk_ty)
  @lead_tys = lead_tys
  @opt_tys = opt_tys
  @rest_ty = rest_ty
  @blk_ty = blk_ty
  # TODO: kw_tys
end

Public Instance Methods

merge(bsig) click to toggle source
# File typeprof-0.21.8/lib/typeprof/type.rb, line 1094
def merge(bsig)
  if @rest_ty && bsig.rest_ty
    rest_ty = @rest_ty.union(bsig.rest_ty)
    BlockSignature.new(@lead_tys, [], rest_ty, @blk_ty.union(bsig.blk_ty))
  elsif @rest_ty || bsig.rest_ty
    rest_ty = @rest_ty || bsig.rest_ty
    rest_ty = @opt_tys.inject(rest_ty, &:union)
    rest_ty = bsig.opt_tys.inject(rest_ty, &:union)

    lead_tys = []
    [@lead_tys.size, bsig.lead_tys.size].max.times do |i|
      ty1 = @lead_tys[i]
      ty2 = bsig.lead_tys[i]
      if ty1 && ty2
        lead_tys << ty1.union(ty2)
      else
        rest_ty = rest_ty.union(ty1 || ty2)
      end
    end

    BlockSignature.new(lead_tys, [], rest_ty, @blk_ty.union(bsig.blk_ty))
  else
    lead_tys = []
    n = [@lead_tys.size, bsig.lead_tys.size].min
    n.times do |i|
      lead_tys << @lead_tys[i].union(bsig.lead_tys[i])
    end
    opt_tys1 = @lead_tys[n..] + @opt_tys
    opt_tys2 = bsig.lead_tys[n..] + bsig.opt_tys
    opt_tys = []
    [opt_tys1.size, opt_tys2.size].max.times do |i|
      if opt_tys1[i] && opt_tys2[i]
        opt_tys << opt_tys1[i].union(opt_tys2[i])
      else
        opt_tys << (opt_tys1[i] || opt_tys2[i])
      end
    end
    BlockSignature.new(lead_tys, opt_tys, nil, @blk_ty.union(bsig.blk_ty))
  end
end