Class SuccessorType::SuccessorTypes::GotoLabelSuccessor

A goto label control flow successor.

Example:

int M(int x)
{
    while (true)
    {
        if (x++ > 10)
            goto Return;
    }
    Return: return x;
}

The node Return: return x is a goto label successor of the node goto Return;.

Direct supertypes

Indirect supertypes

Predicates

getGotoStmt

Gets the statement that resulted in this goto successor.

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.