CodeQL library for C#
Search

Class ConditionalCompletion

A completion that represents evaluation of an expression, whose value determines the successor. Either a Boolean completion (BooleanCompletion), a nullness completion (NullnessCompletion), a matching completion (MatchingCompletion), or an emptiness completion (EmptinessCompletion).

Import path

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

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    getDual

    Gets the dual completion.

    getValue

    Gets the Boolean value 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
    getAMatchingSuccessorType

    Gets a successor type that matches this completion.

    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
    toString

    Gets a textual representation of this completion.

    from Completion