Class Completion::ExitCompletion

A completion that represents evaluation of a statement or an expression resulting in a program exit, for example System.Environment.Exit(0).

An exit completion is different from a return completion; the former exits the whole application, and exists inside try statements skip finally blocks.

Direct supertypes

Indirect supertypes



Gets a textual representation of this completion.

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