class TypeProf::Env

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 135
def initialize(static_env, locals, stack, type_params)
  @static_env = static_env
  @locals = locals
  @stack = stack
  @type_params = type_params
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 217
def deploy_type(id, elems)
  type_params = Utils::HashWrapper.new(@type_params.internal_hash.merge({ id => elems }))
  Env.new(@static_env, @locals, @stack, type_params)
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 222
def enable_module_function
  senv = StaticEnv.new(@static_env.recv_ty, @static_env.blk_ty, true, @static_env.pub_meth)
  Env.new(senv, @locals, @stack, @type_params)
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 213
def get_container_elem_types(id)
  @type_params.internal_hash[id]
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 205
def get_local(idx)
  @locals[idx]
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 242
def inspect
  "Env[#{ @static_env.inspect }, locals:#{ @locals.inspect }, stack:#{ @stack.inspect }, type_params:#{ (@type_params&.internal_hash).inspect }]"
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 209
def local_update(idx, ty)
  Env.new(@static_env, Utils.array_update(@locals, idx, ty), @stack, @type_params)
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 144
def merge(other)
  raise if @locals.size != other.locals.size
  raise if @stack.size != other.stack.size
  static_env = @static_env.merge(other.static_env)
  locals = []
  @locals.zip(other.locals) {|ty1, ty2| locals << ty1.union(ty2) }
  stack = []
  @stack.zip(other.stack) {|ty1, ty2| stack << ty1.union(ty2) }
  if @type_params
    raise if !other.type_params
    if @type_params == other.type_params
      type_params = @type_params
    else
      type_params = @type_params.internal_hash.dup
      other.type_params.internal_hash.each do |id, elems|
        elems2 = type_params[id]
        if elems2
          if elems != elems2
            type_params[id] = elems.union(elems2)
          end
        else
          type_params[id] = elems
        end
      end
      type_params = Utils::HashWrapper.new(type_params)
    end
  else
    raise if other.type_params
  end
  Env.new(static_env, locals, stack, type_params)
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 227
def method_public_set(flag)
  senv = StaticEnv.new(@static_env.recv_ty, @static_env.blk_ty, @static_env.mod_func, flag)
  Env.new(senv, @locals, @stack, @type_params)
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 189
def pop(n)
  stack = @stack.dup
  tys = stack.pop(n)
  nenv = Env.new(@static_env, @locals, stack, @type_params)
  return nenv, tys
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 176
def push(*tys)
  tys.each do |ty|
    raise "nil cannot be pushed to the stack" if ty.nil?
    ty.each_child do |ty|
      raise if ty.is_a?(Type::Var)
      #raise if ty.is_a?(Type::Instance) && ty.klass.type_params.size > 1
      raise "Array cannot be pushed to the stack" if ty.is_a?(Type::Array)
      raise "Hash cannot be pushed to the stack" if ty.is_a?(Type::Hash)
    end
  end
  Env.new(@static_env, @locals, @stack + tys, @type_params)
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 237
def replace_blk_ty(ty)
  senv = StaticEnv.new(@static_env.recv_ty, ty, @static_env.mod_func, @static_env.pub_meth)
  Env.new(senv, @locals, @stack, @type_params)
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 232
def replace_recv_ty(ty)
  senv = StaticEnv.new(ty, @static_env.blk_ty, @static_env.mod_func, @static_env.pub_meth)
  Env.new(senv, @locals, @stack, @type_params)
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 196
def setn(i, ty)
  stack = Utils.array_update(@stack, -i, ty)
  Env.new(@static_env, @locals, stack, @type_params)
end

# File typeprof-0.15.2/lib/typeprof/analyzer.rb, line 201
def topn(i)
  push(@stack[-i - 1])
end