28 references to WhenTrue
ILLink.RoslynAnalyzer (1)
DataFlow\ControlFlowGraphProxy.cs (1)
80
ControlFlowConditionKind.
WhenTrue
=> branch.IsConditionalSuccessor ? ConditionKind.WhenTrue : ConditionKind.WhenFalse,
Microsoft.CodeAnalysis (2)
Operations\ControlFlowGraphBuilder.cs (2)
278
if (constant == (current.ConditionKind == ControlFlowConditionKind.
WhenTrue
))
2973
previous.ConditionKind = jumpIfTrue ? ControlFlowConditionKind.
WhenTrue
: ControlFlowConditionKind.WhenFalse;
Microsoft.CodeAnalysis.AnalyzerUtilities (20)
src\RoslynAnalyzers\Utilities\FlowAnalysis\Extensions\ControlFlowConditionKindExtensions.cs (2)
16
return ControlFlowConditionKind.
WhenTrue
;
18
case ControlFlowConditionKind.
WhenTrue
:
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\DisposeAnalysis\DisposeAnalysis.DisposeDataFlowOperationVisitor.cs (2)
450
var isNullEqualsOnWhenTrue = FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
&&
484
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Analysis\ParameterValidationAnalysis\ParameterValidationAnalysis.ParameterValidationDataFlowOperationVisitor.cs (3)
394
var isNullNotEqualsOnWhenTrue = FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
&&
446
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
&&
461
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
)
src\RoslynAnalyzers\Utilities\FlowAnalysis\FlowAnalysis\Framework\DataFlow\DataFlowOperationVisitor.cs (13)
750
!alwaysTrue && branch.ControlFlowConditionKind == ControlFlowConditionKind.
WhenTrue
)
790
PredicateValueKind.AlwaysFalse => branch.ControlFlowConditionKind == ControlFlowConditionKind.
WhenTrue
,
1417
FlowBranchConditionKind = ControlFlowConditionKind.
WhenTrue
;
1449
FlowBranchConditionKind = ControlFlowConditionKind.
WhenTrue
;
1552
predicateValueKind = SetValueForIsNullComparisonOperator(isNullOperation.Operand, equals: FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
, targetAnalysisData: targetAnalysisData);
1572
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
)
1582
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
)
1592
equals: FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
, isReferenceEquality: false, targetAnalysisData: targetAnalysisData);
1607
if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
)
1627
else if (FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
)
1690
predicateValueKind = ApplyPredicatedDataForEntity(targetAnalysisData, flowCaptureReferenceEntity, trueData: FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
);
1749
equals: FlowBranchConditionKind == ControlFlowConditionKind.
WhenTrue
,
3080
FlowBranchConditionKind = ControlFlowConditionKind.
WhenTrue
;
Microsoft.CodeAnalysis.CodeStyle (1)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)
150
if (constant == (current.ConditionKind == ControlFlowConditionKind.
WhenTrue
))
Microsoft.CodeAnalysis.Test.Utilities (3)
Compilation\ControlFlowGraphVerifier.cs (2)
258
Assert.True(block.ConditionKind == ControlFlowConditionKind.
WhenTrue
|| block.ConditionKind == ControlFlowConditionKind.WhenFalse);
259
string jumpIfTrue = block.ConditionKind == ControlFlowConditionKind.
WhenTrue
? "True" : "False";
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)
150
if (constant == (current.ConditionKind == ControlFlowConditionKind.
WhenTrue
))
Microsoft.CodeAnalysis.Workspaces (1)
src\Workspaces\SharedUtilitiesAndExtensions\Compiler\Core\FlowAnalysis\CustomDataFlowAnalysis.cs (1)
150
if (constant == (current.ConditionKind == ControlFlowConditionKind.
WhenTrue
))