Class SuccessorType::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 macthing successors:

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

Direct supertypes

Indirect supertypes

Predicates

getValue

Gets the Boolean value of this successor.

isMatch

Holds if this is a match successor.

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.