Class Make::PreOrderTree

An element that is executed in pre-order, typically used for statements.

Import path

import codeql.controlflow.Cfg

Holds if first is the first element executed within this element.

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 ControlFlowTree
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