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.CompletionDirect 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- |
| isNull | Holds if the last sub expression of this expression evaluates to |
| 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 | from Completion |