Class ControlFlowGraph::ControlFlow::SuccessorTypes::NullnessSuccessor

A nullness control flow successor.

For example, this program fragment:

int? M(string s) => s?.Length;

has a control flow graph containing nullness successors:

     enter M
       |
       s
      / \
     /   \
    /     \
 null   non-null
    \      |
     \   Length
      \   /
       \ /
     exit M

Direct supertypes

Indirect supertypes

Predicates

getValue

Gets the Boolean value of this successor.

isNull

Holds if this is a null successor.

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.