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 |
toString | Gets a textual representation of successor type. |