Class SuccessorTypes::ExitSuccessor

An exit control flow successor.

Example:

def m x
  if x > 2
    exit 1
  end
  puts "x <= 2"
end

The exit node of m is an exit successor of the node exit 1.