Class Completion::ConditionalCompletion

A completion that represents evaluation of an expression, whose value determines the successor. Either a Boolean completion (BooleanCompletion), a nullness completion (NullnessCompletion), a matching completion (MatchingCompletion), or an emptiness completion (EmptinessCompletion).

Direct supertypes

Indirect supertypes

Known direct subtypes

Inherited predicates


Holds if this completion will continue a loop when it is the completion of a loop body.

from Completion

Holds if this completion is valid for control flow element cfe.

from Completion

Gets a textual representation of this completion.

from Completion