Module ControlFlowGraph::ControlFlow::SuccessorTypes

Provides different types of control flow successor types.

Classes

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.

GotoCaseSuccessor

A goto case control flow successor.

GotoDefaultSuccessor

A goto default control flow successor.

GotoLabelSuccessor

A goto label 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.