A completion that represents evaluation of an expression, whose value determines
the successor. Either a Boolean completion (
BooleanCompletion), a nullness
NullnessCompletion), a matching completion (
or an emptiness completion (
Known direct subtypes
Holds if this completion will continue a loop when it is the completion of a loop body.
Gets a successor type that matches this completion.
Gets the inner completion. This is either the inner completion, when the completion is nested, or the completion itself.
Gets the outer completion. This is either the outer completion, when the completion is nested, or the completion itself.
Holds if this completion is valid for control flow element
Gets a textual representation of this completion.