Class Splitting::FinallySplitting::FinallySplitImpl

A split for elements belonging to a finally block, which determines how to continue execution after leaving the finally block. For example, in

try
{
    if (!M())
        throw new Exception();
}
finally
{
    Log.Write("M failed");
}

all control flow nodes in the finally block have two splits: one representing normal execution of the try block (when M() returns true), and one representing exceptional execution of the try block (when M() returns false).

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    getType

    Gets the type of this finally split, that is, how to continue execution after the finally block.

    toString

    Gets a textual representation of this split.

    Charpred