Class Completion::GotoCompletion

A completion that represents evaluation of a statement or an expression resulting in a goto jump.

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