CodeQL library for C#
codeql/csharp-all 0.5.1 (changelog, source)
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

toString

Gets a textual representation of successor type.

from SuccessorType