Class 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).
Import path
import semmle.code.csharp.controlflow.internal.SplittingDirect supertypes
Indirect supertypes
Predicates
| isSplitForEntryCompletion | Holds if this split type matches entry into a |
Inherited predicates
| toString | Gets a textual representation of successor type. | from SuccessorType |