Member predicate WhileModifierExpr::entersLoopWhenConditionIs
Holds if the loop body is entered when the condition is condValue
. For
while
-modifier loops, this holds when condValue
is true.
predicate entersLoopWhenConditionIs(boolean condValue)