Class MakeWithSplitting::ControlFlowTree

An element with associated control flow.

Import path

import codeql.controlflow.Cfg

first	Holds if `first` is the first element executed within this element.
last	Holds if `last` with completion `c` is a potential last element executed within this element.
propagatesAbnormal	Holds if abnormal execution of `child` should propagate upwards.
succ	Holds if `succ` is a control flow successor for `pred`, given that `pred` finishes with completion `c`.

getLocation	Gets the location of this element.	from AstNode
toString	Gets a textual representation of this element.	from AstNode