Class SuccessorType::SuccessorTypes::GotoCaseSuccessor

A goto case control flow successor.

Example:

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

The node case 0 : return 1; is a goto case successor of the node goto case 0;.

Direct supertypes

Indirect supertypes

Predicates

getGotoStmt

Gets the statement that resulted in this goto case successor.

matchesCompletion

Holds if this successor type matches completion c.

toString

Gets a textual representation of successor type.