CodeQL library for C#

codeql/csharp-all 3.1.1-dev (changelog, source)

Class MakeWithSplitting::StandardPreOrderTree

A standard element that is executed in pre-order.

Import path

import codeql.controlflow.Cfg

Direct supertypes

Indirect supertypes

Predicates

last	Holds if `last` with completion `c` is a potential last element executed within this element.
succ	Holds if `succ` is a control flow successor for `pred`, given that `pred` finishes with completion `c`.

Inherited predicates

first	Holds if `first` is the first element executed within this element.	from PreOrderTree
getChildNode	Gets the `i`th child element, in order of evaluation.	from StandardTree
getFirstChildNode	Gets the first child node of this element.	from StandardTree
getLastChildElement	Gets the last child node of this node.	from StandardTree
getLocation	Gets the location of this element.	from AstNode
isLeafElement	Holds if this element has no children.	from StandardTree
propagatesAbnormal	Holds if abnormal execution of `child` should propagate upwards.	from StandardTree
toString	Gets a textual representation of this element.	from AstNode