Class EnsureSplitting::EnsureSplitType
The type of a split ensure node.
The type represents one of the possible ways of entering an ensure
block. For example, if a block ends with a return statement, then
the ensure block must end with a return as well (provided that
the ensure block executes normally).
Import path
import codeql.ruby.controlflow.internal.SplittingDirect supertypes
Indirect supertypes
Predicates
| isSplitForEntryCompletion | Holds if this split type matches entry into an |
Inherited predicates
| toString | Gets a textual representation of this successor type. | from SuccessorTypeImpl |