Class 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 codeql.controlflow.SuccessorType

Direct supertypes

NormalSuccessorImpl
TConditionalSuccessor

Indirect supertypes

SuccessorTypeImpl
TNormalSuccessor
TSuccessorType

Known direct subtypes

BooleanSuccessor
EmptinessSuccessor
MatchingSuccessor
NullnessSuccessor

Predicates

getDual	Gets the dual of this conditional successor. That is, the conditional successor of the same kind but with the opposite value.
getKind	Gets the condition kind of this conditional successor.
getValue	Gets the Boolean value of this successor.

Inherited predicates

toString

Gets a textual representation of this successor type.

from SuccessorTypeImpl