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

Module NoConditionalCompletionSplittingInput

Provides a disabled ConditionalCompletionSplittingInputSig implementation.

Import path

import codeql.controlflow.Cfg

Predicates

condPropagateExpr

Holds if child is a sub expression of parent, and whenever a last node of child (normally child itself) has parent as a successor with label childCompletion, then edges out of parent must have label parentCompletion.

Classes

ConditionalCompletion

A conditional control-flow completion.

ConditionalCompletionSplit

The user-facing split class.

ConditionalCompletionSplitKind

A split kind for ConditionalCompletionSplitting.

Parameters