1 write to ControlFlowConditionKind
Microsoft.CodeAnalysis.AnalyzerUtilities (1)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
58
ControlFlowConditionKind
= controlFlowConditionKind;
12 references to ControlFlowConditionKind
Microsoft.CodeAnalysis.AnalyzerUtilities (12)
src\RoslynAnalyzers\Utilities\FlowAnalysis\BranchWithInfo.cs (1)
84
controlFlowConditionKind:
ControlFlowConditionKind
,
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\GlobalFlowStateAnalysis\GlobalFlowStateValueSetFlowOperationVisitor.cs (2)
31
branch.
ControlFlowConditionKind
!= ControlFlowConditionKind.None &&
36
var negate = branch.
ControlFlowConditionKind
== ControlFlowConditionKind.WhenFalse;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowAnalysis.cs (1)
389
var blockToSuccessorBranchKind = successorWithBranch.
ControlFlowConditionKind
;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (8)
691
FlowBranchConditionKind = branch.
ControlFlowConditionKind
;
694
if (branch.
ControlFlowConditionKind
!= ControlFlowConditionKind.None)
745
Debug.Assert(branch.
ControlFlowConditionKind
!= ControlFlowConditionKind.None);
751
if (alwaysTrue && branch.
ControlFlowConditionKind
== ControlFlowConditionKind.WhenFalse ||
752
!alwaysTrue && branch.
ControlFlowConditionKind
== ControlFlowConditionKind.WhenTrue)
788
Debug.Assert(branch.
ControlFlowConditionKind
!= ControlFlowConditionKind.None);
792
PredicateValueKind.AlwaysFalse => branch.
ControlFlowConditionKind
== ControlFlowConditionKind.WhenTrue,
794
PredicateValueKind.AlwaysTrue => branch.
ControlFlowConditionKind
== ControlFlowConditionKind.WhenFalse,