Class SuccessorType::SuccessorTypes::NormalSuccessor

A normal control flow successor.

Direct supertypes

Indirect supertypes

Predicates

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.