CodeQL library for C#
Search

Class ControlFlow::SuccessorTypes::ConditionalSuccessor

A conditional control flow successor. Either a Boolean successor (BooleanSuccessor), a nullness successor (NullnessSuccessor), a matching successor (MatchingSuccessor), or an emptiness successor (EmptinessSuccessor).

Import path

import csharp

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    getValue

    Gets the Boolean value of this successor.

    Inherited predicates

    matchesCompletion

    Holds if this successor type matches completion c.

    from SuccessorType
    toString

    Gets a textual representation of successor type.

    from SuccessorType