class TypeProf::Core::BotFilter

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/graph/filter.rb, line 97
def initialize(genv, node, prev_vtx, base_vtx)
  @node = node
  @types = {}
  @prev_vtx = prev_vtx
  @next_vtx = Vertex.new(node)
  @base_vtx = base_vtx
  base_vtx.add_edge(genv, self)
  prev_vtx.add_edge(genv, self) if prev_vtx != base_vtx
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/graph/filter.rb, line 109
def filter(types)
  types.select {|ty| (ty == genv.nil_type) == @allow_nil }
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/graph/filter.rb, line 113
def on_type_added(genv, src_var, added_types)
  if src_var == @base_vtx
    if @base_vtx.types.size == 1 && @base_vtx.types.include?(Type::Bot.new(genv))
      @next_vtx.on_type_removed(genv, self, @types.keys & @next_vtx.types.keys) # XXX: smoke/control/bot2.rb
    end
  else
    added_types.each do |ty|
      @types[ty] = true
    end
    if @base_vtx.types.size == 1 && @base_vtx.types.include?(Type::Bot.new(genv))
      # ignore
    else
      @next_vtx.on_type_added(genv, self, added_types - @next_vtx.types.keys) # XXX: smoke/control/bot4.rb
    end
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/graph/filter.rb, line 130
def on_type_removed(genv, src_var, removed_types)
  if src_var == @base_vtx
    if @base_vtx.types.size == 1 && @base_vtx.types.include?(Type::Bot.new(genv))
      # ignore
    else
      @next_vtx.on_type_added(genv, self, @types.keys - @next_vtx.types.keys) # XXX: smoke/control/bot4.rb
    end
  else
    removed_types.each do |ty|
      @types.delete(ty) || raise
    end
    if @base_vtx.types.size == 1 && @base_vtx.types.include?(Type::Bot.new(genv))
      # ignore
    else
      @next_vtx.on_type_removed(genv, self, removed_types & @next_vtx.types.keys) # XXX: smoke/control/bot2.rb
    end
  end
end

# File bundled-src/typeprof-0.31.1/lib/typeprof/core/graph/filter.rb, line 151
def to_s
  "BF#{ @id ||= $new_id += 1 } -> #{ @next_vtx }"
end