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

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
toString

Gets a textual representation of this completion.

from Completion