Class Splitting::FinallySplitting::FinallySplitType

The type of a split finally node.

The type represents one of the possible ways of entering a finally block. For example, if a try statement ends with a return statement, then the finally block must end with a return as well (provided that the finally block exits normally).

Direct supertypes

Indirect supertypes

Predicates

isSplitForEntryCompletion

Holds if this split type matches entry into a finally block with completion c.

Inherited predicates

matchesCompletion

Holds if this successor type matches completion c.

from SuccessorType
toString

Gets a textual representation of successor type.

from SuccessorType

Charpred