Class SuccessorType::SuccessorTypes::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

Direct supertypes

Indirect supertypes

Predicates

getValue

Gets the Boolean value of this successor.

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.