11 writes to FlowBranchConditionKind
Microsoft.CodeAnalysis.AnalyzerUtilities (11)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (11)
689
FlowBranchConditionKind
= branch.ControlFlowConditionKind;
712
FlowBranchConditionKind
= ControlFlowConditionKind.None;
1417
FlowBranchConditionKind
= ControlFlowConditionKind.WhenTrue;
1420
FlowBranchConditionKind
= ControlFlowConditionKind.None;
1449
FlowBranchConditionKind
= ControlFlowConditionKind.WhenTrue;
1454
FlowBranchConditionKind
= ControlFlowConditionKind.WhenFalse;
1457
FlowBranchConditionKind
= ControlFlowConditionKind.None;
1660
FlowBranchConditionKind
= FlowBranchConditionKind.Negate();
1662
FlowBranchConditionKind
= FlowBranchConditionKind.Negate();
3080
FlowBranchConditionKind
= ControlFlowConditionKind.WhenTrue;
3082
FlowBranchConditionKind
= ControlFlowConditionKind.None;
29 references to FlowBranchConditionKind
Microsoft.CodeAnalysis.AnalyzerUtilities (29)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (4)
338
else if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse &&
450
var isNullEqualsOnWhenTrue =
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue &&
458
var isNullNotEqualsOnWhenFalse =
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse &&
484
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (5)
394
var isNullNotEqualsOnWhenTrue =
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue &&
402
var isNullEqualsOnWhenFalse =
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse &&
439
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse &&
446
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue &&
461
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (20)
1395
if (
FlowBranchConditionKind
== ControlFlowConditionKind.None || !IsRootOfCondition())
1545
Debug.Assert(
FlowBranchConditionKind
!= ControlFlowConditionKind.None);
1552
predicateValueKind = SetValueForIsNullComparisonOperator(isNullOperation.Operand, equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue, targetAnalysisData: targetAnalysisData);
1567
predicateValueKind = SetValueForIsNullComparisonOperator(isPatternOperation.Pattern, equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse, targetAnalysisData: targetAnalysisData);
1572
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
1582
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
1592
equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue, isReferenceEquality: false, targetAnalysisData: targetAnalysisData);
1600
equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse, isReferenceEquality: false, targetAnalysisData: targetAnalysisData);
1607
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
1619
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse)
1627
else if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
1660
FlowBranchConditionKind =
FlowBranchConditionKind
.Negate();
1662
FlowBranchConditionKind =
FlowBranchConditionKind
.Negate();
1690
predicateValueKind = ApplyPredicatedDataForEntity(targetAnalysisData, flowCaptureReferenceEntity, trueData:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue);
1705
if (invocation.Arguments.Length == 1 &&
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse)
1749
equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue,
1830
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse)
1852
Debug.Assert(
FlowBranchConditionKind
!= ControlFlowConditionKind.None);
1884
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse)
3077
Debug.Assert(
FlowBranchConditionKind
== ControlFlowConditionKind.None);