Class ConditionalCompletionSplitting::ConditionalCompletionSplit

A split for conditional completions. For example, in

void M(int i)
{
    if (x && !y)
        System.Console.WriteLine("true")
}

we record whether x, y, and !y evaluate to true or false, and restrict the edges out of !y and x && !y accordingly.

Import path

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

Gets a textual representation of this split.