class TypeProf::Core::AST::Node

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 4
def initialize(raw_node, lenv)
  @raw_node = raw_node
  @lenv = lenv
  @prev_node = nil
  @static_ret = nil
  @ret = nil

  @changes = ChangeSet.new(self, nil)
  @diagnostics = Set[]
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 131
def add_diagnostic(diag)
  @diagnostics << diag
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 23
  def attrs = {}

  #: { (TypeProf::Core::AST::Node) -> void } -> nil
  def each_subnode
    queue = subnodes.values

    until queue.empty?
      subnode = queue.shift
      next unless subnode

      case subnode
      when AST::Node
        yield subnode
      when Array
        queue.unshift(*subnode)
      when Hash
        queue.unshift(*subnode.values)
      else
        raise subnode.class.to_s
      end
    end
  end

  def traverse(&blk)
    yield :enter, self
    each_subnode do |subnode|
      subnode.traverse(&blk)
    end
    yield :leave, self
  end

  def code_range
    if @raw_node
      TypeProf::CodeRange.from_node(@raw_node)
    else
      pp self
      raise
    end
  end

  def define(genv)
    @static_ret = define0(genv)
  end

  def define_copy(genv)
    @lenv = (@prev_node || raise).lenv
    each_subnode do |subnode|
      subnode.define_copy(genv)
    end
    @prev_node.instance_variable_set(:@reused, true)
    @static_ret = (@prev_node || raise).static_ret
  end

  def define0(genv)
    each_subnode do |subnode|
      subnode.define(genv)
    end
    return nil
  end

  def undefine(genv)
    unless @reused
      undefine0(genv)
    end
  end

  def undefine0(genv)
    each_subnode do |subnode|
      subnode.undefine(genv)
    end
  end

  #: (TypeProf::Core::GlobalEnv) -> TypeProf::Core::BasicVertex
  def install(genv)
    @ret = install0(genv)
    @changes.reinstall(genv)
    @ret
  end

  def install_copy(genv)
    @changes.copy_from((@prev_node || raise).changes)
    @changes.reuse(self)
    (@prev_node || raise).diagnostics.each do |diag|
      diag.reuse(self)
      @diagnostics << diag
    end
    each_subnode do |subnode|
      subnode.install_copy(genv)
    end
    @ret = (@prev_node || raise).ret
  end

  #: (TypeProf::Core::GlobalEnv) -> untyped
  def install0(_)
    raise "should override"
  end

  def uninstall(genv)
    @changes.reinstall(genv)
    each_subnode do |subnode|
      subnode.uninstall(genv)
    end
  end

  def narrowings
    Narrowing::EmptyNarrowings
  end

  def add_diagnostic(diag)
    @diagnostics << diag
  end

  def remove_diagnostic(diag)
    @diagnostics.delete(diag)
  end

  def diff(prev_node)
    if prev_node.is_a?(self.class) && attrs.all? {|key, attr| attr == prev_node.send(key) }
      raise unless prev_node # annotation
      s1 = subnodes
      s2 = prev_node.subnodes
      return if s1.keys != s2.keys
      s1.each do |key, subnode|
        prev_subnode = s2[key]
        if subnode && prev_subnode
          subnode = [subnode] if subnode.is_a?(AST::Node)
          prev_subnode = [prev_subnode] if prev_subnode.is_a?(AST::Node)
          subnode.zip(prev_subnode) do |subnode0, prev_subnode0|
            next if subnode0 == nil && prev_subnode0 == nil
            subnode0.diff(prev_subnode0)
            return unless subnode0.prev_node
          end
        else
          return if subnode != prev_subnode
        end
      end
      @prev_node = prev_node
    end
  end

  def retrieve_at(pos, &blk)
    if code_range.include?(pos)
      each_subnode do |subnode|
        subnode.retrieve_at(pos, &blk)
      end
      yield self
    end
  end

  def boxes(key)
    @changes.boxes.each do |(k, *), box|
      # TODO: make it recursive
      box.changes.boxes.each do |(k, *), box|
        yield box if k == key
      end
      yield box if k == key
    end
  end

  def each_diagnostic(genv, &blk)
    @diagnostics.each(&blk)
    each_subnode do |subnode|
      subnode.each_diagnostic(genv, &blk)
    end
  end

  def get_vertexes(vtxs)
    return if @reused
    @changes.boxes.each_value do |box|
      vtxs << box.ret
    end
    vtxs << @ret
    each_subnode do |subnode|
      subnode.get_vertexes(vtxs)
    end
  end

  def modified_vars(tbl, vars)
    each_subnode do |subnode|
      subnode.modified_vars(tbl, vars)
    end
  end

  def pretty_print_instance_variables
    super() - [:@raw_node, :@lenv, :@prev_node, :@static_ret, :@changes]
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 172
def boxes(key)
  @changes.boxes.each do |(k, *), box|
    # TODO: make it recursive
    box.changes.boxes.each do |(k, *), box|
      yield box if k == key
    end
    yield box if k == key
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 54
def code_range
  if @raw_node
    TypeProf::CodeRange.from_node(@raw_node)
  else
    pp self
    raise
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 63
def define(genv)
  @static_ret = define0(genv)
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 76
def define0(genv)
  each_subnode do |subnode|
    subnode.define(genv)
  end
  return nil
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 67
def define_copy(genv)
  @lenv = (@prev_node || raise).lenv
  each_subnode do |subnode|
    subnode.define_copy(genv)
  end
  @prev_node.instance_variable_set(:@reused, true)
  @static_ret = (@prev_node || raise).static_ret
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 139
def diff(prev_node)
  if prev_node.is_a?(self.class) && attrs.all? {|key, attr| attr == prev_node.send(key) }
    raise unless prev_node # annotation
    s1 = subnodes
    s2 = prev_node.subnodes
    return if s1.keys != s2.keys
    s1.each do |key, subnode|
      prev_subnode = s2[key]
      if subnode && prev_subnode
        subnode = [subnode] if subnode.is_a?(AST::Node)
        prev_subnode = [prev_subnode] if prev_subnode.is_a?(AST::Node)
        subnode.zip(prev_subnode) do |subnode0, prev_subnode0|
          next if subnode0 == nil && prev_subnode0 == nil
          subnode0.diff(prev_subnode0)
          return unless subnode0.prev_node
        end
      else
        return if subnode != prev_subnode
      end
    end
    @prev_node = prev_node
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 182
def each_diagnostic(genv, &blk)
  @diagnostics.each(&blk)
  each_subnode do |subnode|
    subnode.each_diagnostic(genv, &blk)
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 26
def each_subnode
  queue = subnodes.values

  until queue.empty?
    subnode = queue.shift
    next unless subnode

    case subnode
    when AST::Node
      yield subnode
    when Array
      queue.unshift(*subnode)
    when Hash
      queue.unshift(*subnode.values)
    else
      raise subnode.class.to_s
    end
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 189
def get_vertexes(vtxs)
  return if @reused
  @changes.boxes.each_value do |box|
    vtxs << box.ret
  end
  vtxs << @ret
  each_subnode do |subnode|
    subnode.get_vertexes(vtxs)
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 96
def install(genv)
  @ret = install0(genv)
  @changes.reinstall(genv)
  @ret
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 116
def install0(_)
  raise "should override"
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 102
def install_copy(genv)
  @changes.copy_from((@prev_node || raise).changes)
  @changes.reuse(self)
  (@prev_node || raise).diagnostics.each do |diag|
    diag.reuse(self)
    @diagnostics << diag
  end
  each_subnode do |subnode|
    subnode.install_copy(genv)
  end
  @ret = (@prev_node || raise).ret
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 200
def modified_vars(tbl, vars)
  each_subnode do |subnode|
    subnode.modified_vars(tbl, vars)
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 127
def narrowings
  Narrowing::EmptyNarrowings
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 206
def pretty_print_instance_variables
  super() - [:@raw_node, :@lenv, :@prev_node, :@static_ret, :@changes]
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 135
def remove_diagnostic(diag)
  @diagnostics.delete(diag)
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 163
def retrieve_at(pos, &blk)
  if code_range.include?(pos)
    each_subnode do |subnode|
      subnode.retrieve_at(pos, &blk)
    end
    yield self
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 22
    def subnodes = {}
    def attrs = {}

    #: { (TypeProf::Core::AST::Node) -> void } -> nil
    def each_subnode
      queue = subnodes.values

      until queue.empty?
        subnode = queue.shift
        next unless subnode

        case subnode
        when AST::Node
          yield subnode
        when Array
          queue.unshift(*subnode)
        when Hash
          queue.unshift(*subnode.values)
        else
          raise subnode.class.to_s
        end
      end
    end

    def traverse(&blk)
      yield :enter, self
      each_subnode do |subnode|
        subnode.traverse(&blk)
      end
      yield :leave, self
    end

    def code_range
      if @raw_node
        TypeProf::CodeRange.from_node(@raw_node)
      else
        pp self
        raise
      end
    end

    def define(genv)
      @static_ret = define0(genv)
    end

    def define_copy(genv)
      @lenv = (@prev_node || raise).lenv
      each_subnode do |subnode|
        subnode.define_copy(genv)
      end
      @prev_node.instance_variable_set(:@reused, true)
      @static_ret = (@prev_node || raise).static_ret
    end

    def define0(genv)
      each_subnode do |subnode|
        subnode.define(genv)
      end
      return nil
    end

    def undefine(genv)
      unless @reused
        undefine0(genv)
      end
    end

    def undefine0(genv)
      each_subnode do |subnode|
        subnode.undefine(genv)
      end
    end

    #: (TypeProf::Core::GlobalEnv) -> TypeProf::Core::BasicVertex
    def install(genv)
      @ret = install0(genv)
      @changes.reinstall(genv)
      @ret
    end

    def install_copy(genv)
      @changes.copy_from((@prev_node || raise).changes)
      @changes.reuse(self)
      (@prev_node || raise).diagnostics.each do |diag|
        diag.reuse(self)
        @diagnostics << diag
      end
      each_subnode do |subnode|
        subnode.install_copy(genv)
      end
      @ret = (@prev_node || raise).ret
    end

    #: (TypeProf::Core::GlobalEnv) -> untyped
    def install0(_)
      raise "should override"
    end

    def uninstall(genv)
      @changes.reinstall(genv)
      each_subnode do |subnode|
        subnode.uninstall(genv)
      end
    end

    def narrowings
      Narrowing::EmptyNarrowings
    end

    def add_diagnostic(diag)
      @diagnostics << diag
    end

    def remove_diagnostic(diag)
      @diagnostics.delete(diag)
    end

    def diff(prev_node)
      if prev_node.is_a?(self.class) && attrs.all? {|key, attr| attr == prev_node.send(key) }
        raise unless prev_node # annotation
        s1 = subnodes
        s2 = prev_node.subnodes
        return if s1.keys != s2.keys
        s1.each do |key, subnode|
          prev_subnode = s2[key]
          if subnode && prev_subnode
            subnode = [subnode] if subnode.is_a?(AST::Node)
            prev_subnode = [prev_subnode] if prev_subnode.is_a?(AST::Node)
            subnode.zip(prev_subnode) do |subnode0, prev_subnode0|
              next if subnode0 == nil && prev_subnode0 == nil
              subnode0.diff(prev_subnode0)
              return unless subnode0.prev_node
            end
          else
            return if subnode != prev_subnode
          end
        end
        @prev_node = prev_node
      end
    end

    def retrieve_at(pos, &blk)
      if code_range.include?(pos)
        each_subnode do |subnode|
          subnode.retrieve_at(pos, &blk)
        end
        yield self
      end
    end

    def boxes(key)
      @changes.boxes.each do |(k, *), box|
        # TODO: make it recursive
        box.changes.boxes.each do |(k, *), box|
          yield box if k == key
        end
        yield box if k == key
      end
    end

    def each_diagnostic(genv, &blk)
      @diagnostics.each(&blk)
      each_subnode do |subnode|
        subnode.each_diagnostic(genv, &blk)
      end
    end

    def get_vertexes(vtxs)
      return if @reused
      @changes.boxes.each_value do |box|
        vtxs << box.ret
      end
      vtxs << @ret
      each_subnode do |subnode|
        subnode.get_vertexes(vtxs)
      end
    end

    def modified_vars(tbl, vars)
      each_subnode do |subnode|
        subnode.modified_vars(tbl, vars)
      end
    end

    def pretty_print_instance_variables
      super() - [:@raw_node, :@lenv, :@prev_node, :@static_ret, :@changes]
    end
  end

  class ProgramNode < Node
    def initialize(raw_node, lenv)
      super(raw_node, lenv)

      @tbl = raw_node.locals
      raw_body = raw_node.statements

      @body = AST.create_node(raw_body, lenv, false)
    end

    attr_reader :tbl, :body

    def subnodes = { body: }
    def attrs = { tbl: }

    def install0(genv)
      @tbl.each {|var| @lenv.locals[var] = Source.new(genv.nil_type) }
      @lenv.locals[:"*self"] = lenv.cref.get_self(genv)

      # for toplevel return
      @body.lenv.locals[:"*expected_method_ret"] = Vertex.new(self)
      @body.install(genv)
    end
  end

  class DummyNilNode < Node
    def initialize(code_range, lenv)
      @code_range = code_range
      super(nil, lenv)
    end

    def code_range
      @code_range
    end

    def install0(genv)
      Source.new(genv.nil_type)
    end
  end

  class DummyRHSNode < Node
    def initialize(code_range, lenv)
      @code_range = code_range
      super(nil, lenv)
    end

    def code_range
      @code_range
    end

    def install0(_)
      Vertex.new(self)
    end
  end

  class DummySymbolNode
    def initialize(sym, code_range, ret)
      @sym = sym
      @code_range = code_range
      @ret = ret
    end

    attr_reader :lenv, :prev_node, :ret

    def boxes(_)
      []
    end
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 46
def traverse(&blk)
  yield :enter, self
  each_subnode do |subnode|
    subnode.traverse(&blk)
  end
  yield :leave, self
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 83
def undefine(genv)
  unless @reused
    undefine0(genv)
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 89
def undefine0(genv)
  each_subnode do |subnode|
    subnode.undefine(genv)
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/ast/base.rb, line 120
def uninstall(genv)
  @changes.reinstall(genv)
  each_subnode do |subnode|
    subnode.uninstall(genv)
  end
end