Class 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 codeql.controlflow.SuccessorType

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

Gets the dual of this conditional successor. That is, the conditional successor of the same kind but with the opposite value.