Module ControlFlow::SuccessorTypes

Provides different types of control flow successor types.

Import path

import csharp

BooleanSuccessor	A Boolean control flow successor.
BreakSuccessor	A `break` control flow successor.
ConditionalSuccessor	A conditional control flow successor. Either a Boolean successor (`BooleanSuccessor`), a nullness successor (`NullnessSuccessor`), a matching successor (`MatchingSuccessor`), or an emptiness successor (`EmptinessSuccessor`).
ContinueSuccessor	A `continue` control flow successor.
EmptinessSuccessor	An emptiness control flow successor.
ExceptionSuccessor	An exceptional control flow successor.
ExitSuccessor	An exit control flow successor.
GotoSuccessor	A `goto` control flow successor.
MatchingSuccessor	A matching control flow successor.
NormalSuccessor	A normal control flow successor.
NullnessSuccessor	A nullness control flow successor.
ReturnSuccessor	A `return` control flow successor.