Module SuccessorType

Provides different types of control flow successor types. These are used as edge labels in the control flow graph.

SuccessorType
 |- NormalSuccessor
 |   |- DirectSuccessor
 |   \- ConditionalSuccessor
 |       |- BooleanSuccessor
 |       |- NullnessSuccessor
 |       |- MatchingSuccessor
 |       \- EmptinessSuccessor
 \- AbruptSuccessor
     |- ExceptionSuccessor
     |- ReturnSuccessor
     |- ExitSuccessor (program termination)
     \- JumpSuccessor
         |- BreakSuccessor
         |- ContinueSuccessor
         |- GotoSuccessor
         |- RedoSuccessor // rare, used in Ruby
         \- RetrySuccessor // rare, used in Ruby

Import path

import codeql.controlflow.SuccessorType

Classes

AbruptSuccessor	An abrupt control flow successor.
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.
DirectSuccessor	A direct 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.
JumpSuccessor	A jump control flow successor.
MatchingSuccessor	A matching control flow successor.
NormalSuccessor	A normal control flow successor. This is either a direct or a conditional successor.
NullnessSuccessor	A nullness control flow successor.
RedoSuccessor	A `redo` control flow successor (rare, used in Ruby).
RetrySuccessor	A `retry` control flow successor (rare, used in Ruby).
ReturnSuccessor	A `return` control flow successor.
SuccessorType	The type of a control flow successor.