Class ControlFlowGraph::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).

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