Module ConditionalCompletionSplitting::ConditionalCompletionSplittingInput

Import path

import semmle.code.csharp.controlflow.internal.Splitting

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