CodeQL library for C#

codeql/csharp-all 0.9.2-dev (changelog, source)

Class Make::SplitImpl

An interface for implementing an entity to split on.

Import path

import codeql.controlflow.Cfg

Direct supertypes

Split

Predicates

appliesSucc	Holds if `succ` is a control flow successor for `pred`, given that `pred` finishes with completion `c`, and this split applies to `pred`.
appliesTo	Holds if this split applies to AST node `n`.
getKind	Gets the kind of this split.
hasEntry	Holds if this split is entered when control passes from `pred` to `succ` with completion `c`.
hasEntryScope	Holds if this split is entered when control passes from `scope` to the entry point `first`.
hasExit	Holds if this split is left when control passes from `pred` to `succ` with completion `c`.
hasExitScope	Holds if this split is left when control passes from `last` out of the enclosing scope `scope` with completion `c`.
hasSuccessor	Holds if this split is maintained when control passes from `pred` to `succ` with completion `c`.

Inherited predicates

Gets a textual representation of this split.

from Split