Class MakeWithSplitting::SplitImpl

Holds if succ is a control flow successor for pred, given that pred finishes with completion c, and this split applies to pred.

Holds if this split applies to AST node n.

Gets the kind of this split.

Holds if this split is entered when control passes from pred to succ with completion c.

Holds if this split is entered when control passes from scope to the entry point first.

Holds if this split is left when control passes from pred to succ with completion c.

Holds if this split is left when control passes from last out of the enclosing scope scope with completion c.

Holds if this split is maintained when control passes from pred to succ with completion c.

Gets a textual representation of this split.