Class ControlFlowGraph::ControlFlow::SuccessorTypes::ContinueSuccessor

A continue control flow successor.

Example:

int M(int x)
{
    while (true) {
        if (x++ < 10)
            continue;
    }
    return x;
}

The node while (true) { ... } is a continue successor of the node continue;.

Direct supertypes

Indirect supertypes

Predicates

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.