CodeQL library for C#

codeql/csharp-all 5.3.0 (changelog, source)

Class MakeWithSplitting::StandardTree

An element where the children are evaluated following a standard left-to-right evaluation. The actual evaluation order is determined by the predicate getChildNode().

Import path

import codeql.controlflow.Cfg

Direct supertypes

ControlFlowTree

Indirect supertypes

AstNode

Predicates

getChildNode	Gets the `i`th child element, in order of evaluation.
getFirstChildNode	Gets the first child node of this element.
getFirstChildTree	Gets the first child node of this element.
getLastChildElement	Gets the last child node of this node.
getLastChildTree	Gets the last child node of this node.
isLeafElement	Holds if this element has no children.
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`.

Inherited predicates

first	Holds if `first` is the first element executed within this element.	from ControlFlowTree
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
toString	Gets a textual representation of this element.	from AstNode