Member predicate ConditionBlock::controls
Holds if basic block controlled
is controlled by this basic block with
Boolean value testIsTrue
. That is, controlled
can only be reached from
the callable entry point by going via the true edge (testIsTrue = true
)
or false edge (testIsTrue = false
) out of this basic block.
predicate controls(BasicBlock controlled, boolean testIsTrue)