Class Completion::EmptinessCompletion

A completion that represents evaluation of an emptiness test, for example a test in a foreach statement.

Direct supertypes

Indirect supertypes

Predicates

isEmpty

Holds if the emptiness test evaluates to true.

toString

Gets a textual representation of this completion.

Inherited predicates

continuesLoop

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

from Completion
isValidFor

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

from Completion