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

Class Make::StandardPostOrderTree

A standard element that is executed in post-order.

Import path

import codeql.controlflow.Cfg

Direct supertypes

Indirect supertypes

Predicates

first

Holds if first is the first 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

getChildNode

Gets the ith 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
last

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

from PostOrderTree
propagatesAbnormal

Holds if abnormal execution of child should propagate upwards.

from StandardTree
toString

Gets a textual representation of this element.

from AstNode