Class Completion::GotoLabelCompletion

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

Direct supertypes

Indirect supertypes

Predicates

getGotoStmt

Gets the statement that resulted in this goto label completion.

getLabel

Gets the target of the goto label completion.

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