Class ControlFlowGraph::ControlFlow::SuccessorTypes::GotoDefaultSuccessor

A goto default control flow successor.

Example:

switch (x)
{
    case 0  : return 1;
    case 1  : goto default;
    default : return -1;
}

The node default : return -1; is a goto default successor of the node goto default;.

Direct supertypes

Indirect supertypes

Predicates

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.