Class MakeWithSplitting::PostOrderTree

An element that is executed in post-order, typically used for expressions.

Import path

import codeql.controlflow.Cfg

last	Holds if `last` with completion `c` is a potential last element executed within this element.

first	Holds if `first` is the first element executed within this element.	from ControlFlowTree
getLocation	Gets the location of this element.	from AstNode
propagatesAbnormal	Holds if abnormal execution of `child` should propagate upwards.	from ControlFlowTree
succ	Holds if `succ` is a control flow successor for `pred`, given that `pred` finishes with completion `c`.	from ControlFlowTree
toString	Gets a textual representation of this element.	from AstNode