CodeQL library for C#
Search

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.Splitting

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