Class BooleanSplitting::BooleanSplit
A split for elements that can reach a condition where this split determines the Boolean value that the condition evaluates to. For example, in
if (b)
Console.WriteLine("b is true");
if (!b)
Console.WriteLine("b is false");
all control flow nodes on line 2 and line 3 have two splits: one representing
that the condition on line 1 took the true branch, and one representing that
the condition on line 1 took the false branch.
Import path
import semmle.code.csharp.controlflow.internal.SplittingDirect supertypes
Indirect supertypes
Predicates
| getBranch | Gets the branch taken in this split. |
| getSubKind | Gets the kind of this Boolean split. |
| toString | Gets a textual representation of this split. |