Module ControlFlowGraph

Import path

semmle.code.csharp.controlflow.ControlFlowGraph

Imports

csharp

The default C# QL library.

Classes

FinallySplitControlFlowNode

DEPRECATED: Use ElementNode instead.

NormalControlFlowNode

DEPRECATED: Use ElementNode instead.

Modules

ControlFlow

Provides classes representing the control flow graph within callables.

Aliases

CallableEntryNode

A node for a callable entry point.

CallableExitNode

A node for a callable exit point.

ControlFlowEdgeBoolean

DEPRECATED: Use ControlFlow::BooleanSuccessor instead.

ControlFlowEdgeBreak

DEPRECATED: Use ControlFlow::BreakSuccessor instead.

ControlFlowEdgeConditional

DEPRECATED: Use ControlFlow::ConditionalSuccessor instead.

ControlFlowEdgeContinue

DEPRECATED: Use ControlFlow::ContinueSuccessor instead.

ControlFlowEdgeEmptiness

DEPRECATED: Use ControlFlow::EmptinessSuccessor instead.

ControlFlowEdgeException

DEPRECATED: Use ControlFlow::ExceptionSuccessor instead.

ControlFlowEdgeGotoCase

DEPRECATED: Use ControlFlow::GotoCaseSuccessor instead.

ControlFlowEdgeGotoDefault

DEPRECATED: Use ControlFlow::GotoDefaultSuccessor instead.

ControlFlowEdgeGotoLabel

DEPRECATED: Use ControlFlow::GotoLabelSuccessor instead.

ControlFlowEdgeMatching

DEPRECATED: Use ControlFlow::MatchingSuccessor instead.

ControlFlowEdgeNullness

DEPRECATED: Use ControlFlow::NullnessSuccessor instead.

ControlFlowEdgeReturn

DEPRECATED: Use ControlFlow::ReturnSuccessor instead.

ControlFlowEdgeSuccessor

DEPRECATED: Use ControlFlow::NormalSuccessor instead.

ControlFlowEdgeType

DEPRECATED: Use ControlFlow::SuccessorType instead.

ControlFlowNode

A control flow node.