Module ConditionalCompletionSplitting::ConditionalCompletionSplittingInput

Import path

import codeql.swift.controlflow.internal.Splitting

ConditionalCompletion	A completion that represents evaluation of an expression, whose value determines the successor. Either a Boolean completion (`BooleanCompletion`), or a matching completion (`MatchingCompletion`).
ConditionalCompletionSplit	A split for conditional completions.