Member predicate FinallySplitting::FinallySplitType::isSplitForEntryCompletion
Holds if this split type matches entry into a finally
block with completion c
.
predicate isSplitForEntryCompletion(Completion c)
Holds if this split type matches entry into a finally
block with completion c
.
predicate isSplitForEntryCompletion(Completion c)