CodeQL library for C#
codeql/csharp-all 3.1.1 (changelog, source)
Search

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

Indirect supertypes

Predicates

getChildNode

Gets the ith child element, in order of evaluation.

getFirstChildNode

Gets the first child node of this element.

getLastChildElement

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