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

Class NullnessCompletion

A completion that represents evaluation of an expression that is either null or non-null.

Import path

import semmle.code.csharp.controlflow.internal.Completion

Direct supertypes

Indirect supertypes

Predicates

getAMatchingSuccessorType

Gets a successor type that matches this completion.

getDual

Gets the dual completion.

getValue

Gets the Boolean value of this completion.

isNonNull

Holds if the last sub expression of this expression evaluates to a non-null value.

isNull

Holds if the last sub expression of this expression evaluates to null.

toString

Gets a textual representation of this completion.

Inherited predicates

continuesLoop

Holds if this completion will continue a loop when it is the completion of a loop body.

from Completion
getInnerCompletion

Gets the inner completion. This is either the inner completion, when the completion is nested, or the completion itself.

from Completion
getOuterCompletion

Gets the outer completion. This is either the outer completion, when the completion is nested, or the completion itself.

from Completion
isValidFor

Holds if this completion is valid for control flow element cfe.

from Completion

Charpred