Module signature ConditionalCompletionSplittingInputSig

Provides input needed for ConditionalCompletionSplitting.

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.

Types

ConditionalCompletion	A conditional control-flow completion.
ConditionalCompletionSplit	The user-facing split class.
ConditionalCompletionSplitKind	A split kind for `ConditionalCompletionSplitting`.

Parameters

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