Class MakeWithSplitting::LeafTree

An element that is a leaf in the control flow graph.

Import path

import codeql.controlflow.Cfg

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

first	Holds if `first` is the first element executed within this element.	from PreOrderTree
getLocation	Gets the location of this element.	from AstNode
last	Holds if `last` with completion `c` is a potential last element executed within this element.	from PostOrderTree
toString	Gets a textual representation of this element.	from AstNode