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

Class Make::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

Known direct subtypes

    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.