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

Class MakeWithSplitting::SplitKind

A split kind. Each control flow node can have at most one split of a given kind.

Import path

import codeql.controlflow.Cfg

Predicates

appliesTo

Holds if some split of this kind applies to AST node n.

getASplit

Gets a split of this kind.

getListOrder

Gets a unique integer representing this split kind. The integer is used to represent sets of splits as ordered lists.

getListRank

Gets the rank of this split kind among all the split kinds that apply to AST node n. The rank is based on the order defined by getListOrder().

isEnabled

Holds if this split kind is enabled for AST node n. For performance reasons, the number of splits is restricted by the maxSplits() predicate.

toString

Gets a textual representation of this split kind.