Class BooleanSplitting :: BooleanSplitSubKind

A sub-classification of Boolean splits.

Import path


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

canReachCorrelatedCondition	Holds if basic block `bb` can reach a condition correlated with a split of this kind.
correlatesConditions	Holds if the branch taken by condition `cb1` should be recorded in this split, and the recorded value determines the branch taken by a later condition `cb2`, possibly inverted.
getEnclosingCallable	Gets the callable that this Boolean split kind belongs to.
getLocation	Gets the location of this Boolean split kind.
startsSplit	Holds if control flow element `cfe` starts a split of this kind.
toString	Gets a textual representation of this Boolean split kind.