Class: TypeProf::Type::Cell::Elements

# File 'lib/typeprof/container-type.rb', line 176

def each_free_type_variable(&blk)
  @elems.each do |ty|
    ty.each_free_type_variable(&blk)
  end
end

# File 'lib/typeprof/container-type.rb', line 136

def globalize(env, visited, depth)
  Elements.new(@elems.map {|ty| ty.globalize(env, visited, depth) })
end

# File 'lib/typeprof/container-type.rb', line 206

def include_untyped?(scratch)
  return @elems.any? {|ty| ty.include_untyped?(scratch) }
end

# File 'lib/typeprof/container-type.rb', line 149

def limit_size(limit)
  Elements.new(@elems.map {|ty| ty.limit_size(limit) })
end

# File 'lib/typeprof/container-type.rb', line 140

def localize(env, alloc_site, depth)
  elems = @elems.map.with_index do |ty, i|
    alloc_site2 = alloc_site.add_id(i)
    env, ty = ty.localize(env, alloc_site2, depth)
    ty
  end
  return env, Elements.new(elems)
end

# File 'lib/typeprof/container-type.rb', line 165

def match?(other)
  return nil if @elems.size != other.elems.size
  subst = nil
  @elems.zip(other.elems) do |ty0, ty1|
    subst2 = Type.match?(ty0, ty1)
    return nil unless subst2
    subst = Type.merge_substitution(subst, subst2)
  end
  subst
end

# File 'lib/typeprof/container-type.rb', line 157

def pretty_print(q)
  q.group(9, "Elements[", "]") do
    q.seplist(@elems) do |elem|
      q.pp elem
    end
  end
end

# File 'lib/typeprof/container-type.rb', line 153

def screen_name(scratch)
  "*[#{ @elems.map {|ty| ty.screen_name(scratch) }.join(", ") }]"
end

# File 'lib/typeprof/container-type.rb', line 182

def substitute(subst, depth)
  Elements.new(@elems.map {|ty| ty.substitute(subst, depth) })
end

# File 'lib/typeprof/container-type.rb', line 132

def to_local_type(id, base_ty)
  Type::Local.new(Cell, id, base_ty)
end

# File 'lib/typeprof/container-type.rb', line 194

def union(other)
  return self if self == other
  if @elems.size != other.elems.size
    raise "#{ @elems.size } != #{ other.elems.size }"
  end
  elems = []
  @elems.zip(other.elems) do |ty0, ty1|
    elems << ty0.union(ty1)
  end
  Elements.new(elems)
end

# File 'lib/typeprof/container-type.rb', line 190

def update(idx, ty)
  Elements.new(Utils.array_update(@elems, idx, @elems[idx].union(ty)))
end