Module NoSplittingInput
Provides a disabled SplittingInputSig
implementation.
Import path
import codeql.controlflow.Cfg
Predicates
maxSplits | Gets the maximum number of splits allowed for a given node. |
Aliases
Split | The trivial empty type. |
SplitKindBase | The trivial empty type. |
Parameters
Location | LocationSig | |
Input | InputSig<NoSplittingInput::Location> |