CodeQL library for C#
codeql/csharp-all 0.8.12 (changelog, source)
Search

Module ControlFlow::SuccessorTypes

Provides different types of control flow successor types.

Import path

import csharp

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.

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.