Class SuccessorTypes::MatchingSuccessor

A matching control flow successor.

For example, this program fragment:

case x
  when 1 then puts "one"
  else puts "not one"
end

has a control flow graph containing matching successors:

           x
           |
           1
          / \
         /   \
        /     \
       /       \
    match    non-match
      |          |
 puts "one"  puts "not one"