Class SuccessorTypes::RaiseSuccessor

An exceptional control flow successor.

Example:

def m x
  if x > 2
    raise "x > 2"
  end
  puts "x <= 2"
end

The exit node of m is an exceptional successor of the node raise "x > 2".