Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
CodeQL library for C#
codeql/csharp-all 5.1.6 (changelog, source)

Module ControlFlow::BasicBlocks

Provides different types of basic blocks.

Import path

import csharp

Aliases

AnnotatedExitBlock

An annotated exit basic block, that is, a basic block that contains an annotated exit node.

ConditionBlock

A basic block that terminates in a condition, splitting the subsequent control flow.

EntryBlock

An entry basic block, that is, a basic block whose first node is an entry node.

ExitBlock

An exit basic block, that is, a basic block whose last node is an exit node.

JoinBlock

A basic block with more than one predecessor.

JoinBlockPredecessor

A basic block that is an immediate predecessor of a join block.