Module NoConditionalCompletionSplittingInput

Provides a disabled ConditionalCompletionSplittingInputSig implementation.

Import path

import codeql.controlflow.Cfg

Predicates

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

Location		LocationSig
Input		InputSig<NoConditionalCompletionSplittingInput::Location>
SplittingInput		SplittingInputSig<NoConditionalCompletionSplittingInput::Location, NoConditionalCompletionSplittingInput::Input>