Class 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

Import path

import csharp

getValue	Gets the Boolean value of this successor.
isNull	Holds if this is a `null` successor.
toString	Gets a textual representation of successor type.