Class 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

Import path

import codeql.ruby.CFG

Direct supertypes

ConditionalSuccessorImpl
TMatchingSuccessor

Indirect supertypes

NormalSuccessorImpl
SuccessorTypeImpl
TConditionalSuccessor
TNormalSuccessor
TSuccessorType

Predicates

getKind	Gets the condition kind of this conditional successor.
getValue	Gets the Boolean value of this successor.
isMatch	Holds if this is a match successor.
toString	Gets a textual representation of this successor type.

Inherited predicates

getDual

Gets the dual of this conditional successor. That is, the conditional successor of the same kind but with the opposite value.

from ConditionalSuccessorImpl