11 writes to FlowBranchConditionKind
Microsoft.CodeAnalysis.AnalyzerUtilities (11)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (11)
691
FlowBranchConditionKind
= branch.ControlFlowConditionKind;
714
FlowBranchConditionKind
= ControlFlowConditionKind.None;
1419
FlowBranchConditionKind
= ControlFlowConditionKind.WhenTrue;
1422
FlowBranchConditionKind
= ControlFlowConditionKind.None;
1451
FlowBranchConditionKind
= ControlFlowConditionKind.WhenTrue;
1456
FlowBranchConditionKind
= ControlFlowConditionKind.WhenFalse;
1459
FlowBranchConditionKind
= ControlFlowConditionKind.None;
1662
FlowBranchConditionKind
= FlowBranchConditionKind.Negate();
1664
FlowBranchConditionKind
= FlowBranchConditionKind.Negate();
3082
FlowBranchConditionKind
= ControlFlowConditionKind.WhenTrue;
3084
FlowBranchConditionKind
= ControlFlowConditionKind.None;
29 references to FlowBranchConditionKind
Microsoft.CodeAnalysis.AnalyzerUtilities (29)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (4)
340
else if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse &&
452
var isNullEqualsOnWhenTrue =
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue &&
460
var isNullNotEqualsOnWhenFalse =
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse &&
486
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (5)
395
var isNullNotEqualsOnWhenTrue =
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue &&
403
var isNullEqualsOnWhenFalse =
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse &&
440
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse &&
447
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue &&
462
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (20)
1397
if (
FlowBranchConditionKind
== ControlFlowConditionKind.None || !IsRootOfCondition())
1547
Debug.Assert(
FlowBranchConditionKind
!= ControlFlowConditionKind.None);
1554
predicateValueKind = SetValueForIsNullComparisonOperator(isNullOperation.Operand, equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue, targetAnalysisData: targetAnalysisData);
1569
predicateValueKind = SetValueForIsNullComparisonOperator(isPatternOperation.Pattern, equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse, targetAnalysisData: targetAnalysisData);
1574
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
1584
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
1594
equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue, isReferenceEquality: false, targetAnalysisData: targetAnalysisData);
1602
equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse, isReferenceEquality: false, targetAnalysisData: targetAnalysisData);
1609
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
1621
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse)
1629
else if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue)
1662
FlowBranchConditionKind =
FlowBranchConditionKind
.Negate();
1664
FlowBranchConditionKind =
FlowBranchConditionKind
.Negate();
1692
predicateValueKind = ApplyPredicatedDataForEntity(targetAnalysisData, flowCaptureReferenceEntity, trueData:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue);
1707
if (invocation.Arguments.Length == 1 &&
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse)
1751
equals:
FlowBranchConditionKind
== ControlFlowConditionKind.WhenTrue,
1832
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse)
1854
Debug.Assert(
FlowBranchConditionKind
!= ControlFlowConditionKind.None);
1886
if (
FlowBranchConditionKind
== ControlFlowConditionKind.WhenFalse)
3079
Debug.Assert(
FlowBranchConditionKind
== ControlFlowConditionKind.None);