Member predicate Completion::isValidFor
Holds if this completion is valid for control flow element cfe
.
If cfe
is part of a try
statement and cfe
may throw an exception, this
completion can be a throw completion.
If cfe
is used in a Boolean context, this completion is a Boolean completion,
otherwise it is a normal non-Boolean completion.
predicate isValidFor(ControlFlowElement cfe)