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

Class MakeWithSplitting::PreOrderTree

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

Import path

import codeql.controlflow.Cfg

Direct supertypes

Indirect supertypes

Predicates

first

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

Inherited predicates

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