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)
387
var blockToSuccessorBranchKind = successorWithBranch.
ControlFlowConditionKind
;
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (8)
689
FlowBranchConditionKind = branch.
ControlFlowConditionKind
;
692
if (branch.
ControlFlowConditionKind
!= ControlFlowConditionKind.None)
743
Debug.Assert(branch.
ControlFlowConditionKind
!= ControlFlowConditionKind.None);
749
if (alwaysTrue && branch.
ControlFlowConditionKind
== ControlFlowConditionKind.WhenFalse ||
750
!alwaysTrue && branch.
ControlFlowConditionKind
== ControlFlowConditionKind.WhenTrue)
786
Debug.Assert(branch.
ControlFlowConditionKind
!= ControlFlowConditionKind.None);
790
PredicateValueKind.AlwaysFalse => branch.
ControlFlowConditionKind
== ControlFlowConditionKind.WhenTrue,
792
PredicateValueKind.AlwaysTrue => branch.
ControlFlowConditionKind
== ControlFlowConditionKind.WhenFalse,