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

Class ControlFlow::SuccessorTypes::BooleanSuccessor

A Boolean control flow successor.

For example, this program fragment:

if (x < 0)
    return 0;
else
    return 1;

has a control flow graph containing Boolean successors:

       if
       |
     x < 0
      / \
     /   \
    /     \
 true    false
   |        \
return 0   return 1

Import path

import csharp

Direct supertypes

Indirect supertypes

Predicates

getValue

Gets the Boolean value of this successor.

toString

Gets a textual representation of successor type.