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

Class ControlFlow::SuccessorTypes::EmptinessSuccessor

An emptiness control flow successor.

For example, this program fragment:

foreach (var arg in args)
{
    yield return arg;
}
yield return "";

has a control flow graph containing emptiness successors:

          args
           |
         foreach------<-------
          / \                 \
         /   \                |
        /     \               |
       /       \              |
    empty    non-empty        |
      |          \            |
yield return ""   \           |
                var arg       |
                   |          |
            yield return arg  |
                    \_________/

Import path

import csharp

Direct supertypes

Indirect supertypes

Predicates

getValue

Gets the Boolean value of this successor.

isEmpty

Holds if this is an empty successor.

toString

Gets a textual representation of successor type.