Class BooleanSuccessor

A Boolean control flow successor.

For example, this program fragment:

if (x < 0)
    return 0;
else
    return 1;

has a control flow graph containing Boolean successors:

       if
       |
     x < 0
      / \
     /   \
    /     \
 true    false
   |        \
return 0   return 1

Import path

import codeql.controlflow.SuccessorType

getKind	Gets the condition kind of this conditional successor.
getValue	Gets the Boolean value of this successor.
toString	Gets a textual representation of this successor type.

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