Class ControlFlowGraph::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  |
                    \_________/

Direct supertypes

Indirect supertypes

Predicates

getValue

Gets the Boolean value of this successor.

isEmpty

Holds if this is an empty successor.

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.