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

Member predicate ControlFlow :: Node :: getATrueSuccessor

Gets an immediate true successor, if any.

An immediate true successor is a successor that is reached when this condition evaluates to true.

Example:

if (x < 0)
    x = -x;

The node on line 2 is an immediate true successor of the node on line 1.

Node getATrueSuccessor ( )