Class ControlFlow::SuccessorTypes::MatchingSuccessor

A matching control flow successor.

For example, this program fragment:

switch (x) {
    case 0 :
        return 0;
    default :
        return 1;
}

has a control flow graph containing matching successors:

     switch
       |
       x
       |
     case 0
      / \
     /   \
    /     \
 match   no-match
   |        \
return 0   default
             |
          return 1