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

Class MakeWithSplitting::SplitImpl

An interface for implementing an entity to split on.

Import path

import codeql.controlflow.Cfg

Direct supertypes

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

toString

Gets a textual representation of this split.

from Split