Class SuccessorTypes::RedoSuccessor

A redo control flow successor.

Example:

Example:

def m
  while x >= 0
    x -= 1
    if num > 100
      redo
    end
  end
  puts "done"
end

The node x -= 1 is redo successor of the node redo.