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

Class MakeWithSplitting::Node

A control flow node.

A control flow node is a node in the control flow graph (CFG). There is a many-to-one relationship between CFG nodes and AST nodes.

Only nodes that can be reached from an entry point are included in the CFG.

Import path

import codeql.controlflow.Cfg

Direct supertypes

Predicates

getAPredecessor

Gets an immediate predecessor, if any.

getAPredecessor

Gets an immediate predecessor node of a given flow type, if any.

getASuccessor

Gets an immediate successor, if any.

getASuccessor

Gets a successor node of a given type, if any.

getAstNode

Gets the AST node that this node corresponds to, if any.

getLocation

Gets the location of this control flow node.

getScope

Gets the scope of this node.

isBranch

Holds if this node has more than one successor.

isCondition

Holds if this control flow node has conditional successors.

isJoin

Holds if this node has more than one predecessor.

toString

Gets a textual representation of this control flow node.