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

Class MakeWithSplitting::ControlFlowTree

An element with associated control flow.

Import path

import codeql.controlflow.Cfg

Direct supertypes

Predicates

first

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

last

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

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

getLocation

Gets the location of this element.

from AstNode
toString

Gets a textual representation of this element.

from AstNode