6 instantiations of DecisionDagBuilder
Microsoft.CodeAnalysis.CSharp (6)
Binder\DecisionDagBuilder.cs (3)
90
var builder = new
DecisionDagBuilder
(compilation, defaultLabel, forLowering, diagnostics);
106
var builder = new
DecisionDagBuilder
(compilation, defaultLabel, forLowering, diagnostics);
124
var builder = new
DecisionDagBuilder
(compilation, defaultLabel: whenFalseLabel, forLowering, diagnostics);
Binder\DecisionDagBuilder_CheckOrReachability.cs (3)
74
var builder = new
DecisionDagBuilder
(compilation, defaultLabel: defaultLabel, forLowering: false, BindingDiagnosticBag.Discarded);
120
var builder = new
DecisionDagBuilder
(compilation, defaultLabel: defaultLabel, forLowering: false, BindingDiagnosticBag.Discarded);
171
var builder = new
DecisionDagBuilder
(compilation, defaultLabel: defaultLabel, forLowering: false, BindingDiagnosticBag.Discarded);
53 references to DecisionDagBuilder
Microsoft.CodeAnalysis.CSharp (52)
Binder\Binder_Patterns.cs (3)
245
BoundDecisionDag decisionDag =
DecisionDagBuilder
.CreateDecisionDagForIsPattern(
317
if (!wasReported && diagnostics.AccumulatesDiagnostics &&
DecisionDagBuilder
.EnableRedundantPatternsCheck(this.Compilation))
319
DecisionDagBuilder
.CheckRedundantPatternsForIsPattern(this.Compilation, pattern.Syntax, expression, pattern, hasUnionMatching, diagnostics);
Binder\DecisionDagBuilder.cs (22)
90
var
builder = new DecisionDagBuilder(compilation, defaultLabel, forLowering, diagnostics);
106
var
builder = new DecisionDagBuilder(compilation, defaultLabel, forLowering, diagnostics);
124
var
builder = new DecisionDagBuilder(compilation, defaultLabel: whenFalseLabel, forLowering, diagnostics);
1106
Tests makeTestsAndBindingsForBinaryPattern(
DecisionDagBuilder
@this, Tests leftTests, TestInputOutputInfo leftOutputInfo, TestInputOutputInfo inputInfo, BoundBinaryPattern bin, out TestInputOutputInfo outputInfo, ArrayBuilder<BoundPatternBinding> bindings)
3191
DecisionDagBuilder
builder,
3230
protected abstract RemoveEvaluationAndUpdateTempReferencesResult RemoveEvaluationAndUpdateTempReferencesCore(
DecisionDagBuilder
dagBuilder, DagState state, ImmutableArray<BoundPatternBinding> bindings, ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagEvaluation e);
3232
public Tests RemoveEvaluation(
DecisionDagBuilder
dagBuilder, DagState state, ImmutableArray<BoundPatternBinding> bindings, BoundDagEvaluation e)
3237
protected Tests RemoveEvaluationAndUpdateTempReferences(
DecisionDagBuilder
dagBuilder, DagState state, ImmutableArray<BoundPatternBinding> bindings, ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagEvaluation e)
3334
DecisionDagBuilder
builder,
3346
protected override RemoveEvaluationAndUpdateTempReferencesResult RemoveEvaluationAndUpdateTempReferencesCore(
DecisionDagBuilder
builder, DagState state, ImmutableArray<BoundPatternBinding> bindings, ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagEvaluation e)
3358
DecisionDagBuilder
builder,
3370
protected override RemoveEvaluationAndUpdateTempReferencesResult RemoveEvaluationAndUpdateTempReferencesCore(
DecisionDagBuilder
builder, DagState state, ImmutableArray<BoundPatternBinding> bindings, ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagEvaluation e)
3385
DecisionDagBuilder
builder,
3517
protected override RemoveEvaluationAndUpdateTempReferencesResult RemoveEvaluationAndUpdateTempReferencesCore(
DecisionDagBuilder
builder, DagState state, ImmutableArray<BoundPatternBinding> bindings, ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagEvaluation e)
3591
public static Tests RemoveEvaluation(One tests,
DecisionDagBuilder
builder, DagState state, ref ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagEvaluation e, out Tests? condition)
3710
private static Tests RemoveTypeEvaluation(One tests,
DecisionDagBuilder
dagBuilder, ref ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagTypeEvaluation e1)
3752
static Tests? replaceUnionTypeEvaluation(
DecisionDagBuilder
dagBuilder, BoundDagTypeEvaluation e1, BoundDagTypeEvaluation typeEval)
3787
private static Tests RemoveIndexerEvaluation(One tests,
DecisionDagBuilder
dagBuilder, DagState state, ref ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagIndexerEvaluation s1, out Tests? condition)
3976
protected override RemoveEvaluationAndUpdateTempReferencesResult RemoveEvaluationAndUpdateTempReferencesCore(
DecisionDagBuilder
builder, DagState state, ImmutableArray<BoundPatternBinding> bindings, ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagEvaluation e)
3989
DecisionDagBuilder
builder,
4016
DecisionDagBuilder
builder,
4097
protected sealed override RemoveEvaluationAndUpdateTempReferencesResult RemoveEvaluationAndUpdateTempReferencesCore(
DecisionDagBuilder
dagBuilder, DagState state, ImmutableArray<BoundPatternBinding> bindings, ImmutableDictionary<BoundDagTemp, BoundDagTemp> tempMap, BoundDagEvaluation e)
Binder\DecisionDagBuilder_CheckOrReachability.cs (6)
74
var
builder = new DecisionDagBuilder(compilation, defaultLabel: defaultLabel, forLowering: false, BindingDiagnosticBag.Discarded);
120
var
builder = new DecisionDagBuilder(compilation, defaultLabel: defaultLabel, forLowering: false, BindingDiagnosticBag.Discarded);
171
var
builder = new DecisionDagBuilder(compilation, defaultLabel: defaultLabel, forLowering: false, BindingDiagnosticBag.Discarded);
297
public readonly
DecisionDagBuilder
Builder;
305
DecisionDagBuilder
builder, BoundDagTemp rootIdentifier, SyntaxNode syntax, PooledHashSet<SyntaxNode> redundantNodes)
342
DecisionDagBuilder
builder,
Binder\SwitchBinder_Patterns.cs (3)
45
BoundDecisionDag decisionDag =
DecisionDagBuilder
.CreateDecisionDagForSwitchStatement(
61
if (!wasReported && diagnostics.AccumulatesDiagnostics &&
DecisionDagBuilder
.EnableRedundantPatternsCheck(this.Compilation))
63
DecisionDagBuilder
.CheckRedundantPatternsForSwitchStatement(this.Compilation, syntax: node, boundSwitchGoverningExpression, switchSections, diagnostics);
Binder\SwitchExpressionBinder.cs (3)
42
if (!wasReported && diagnostics.AccumulatesDiagnostics &&
DecisionDagBuilder
.EnableRedundantPatternsCheck(this.Compilation))
44
DecisionDagBuilder
.CheckRedundantPatternsForSwitchExpression(this.Compilation, node, boundInputExpression, switchArms, diagnostics);
72
decisionDag =
DecisionDagBuilder
.CreateDecisionDagForSwitchExpression(this.Compilation, node, boundInputExpression, switchArms, defaultLabel, diagnostics);
BoundTree\BoundDagEvaluation.cs (8)
19
if (
DecisionDagBuilder
.IsEqualEvaluation(this, other))
22
Debug.Assert(
DecisionDagBuilder
.IsEqualEvaluation(other, this));
146
BoundDagEvaluation? nonTypeEvaluation =
DecisionDagBuilder
.SkipAllTypeEvaluations(this);
148
if (
DecisionDagBuilder
.IsUnionTryGetValueEvaluation(nonTypeEvaluation, out _, out BoundDagTemp? unionInstance) ||
149
DecisionDagBuilder
.IsUnionValueEvaluation(nonTypeEvaluation, out unionInstance))
213
var (input, _, index) =
DecisionDagBuilder
.GetCanonicalInput(this);
214
return Hash.Combine(
DecisionDagBuilder
.OriginalInput(input), Hash.Combine((int)Kind, index));
383
return
DecisionDagBuilder
.NotTypeEvaluationInput(Input.Source).GetHashCode();
BoundTree\BoundDagTest.cs (1)
73
if (
DecisionDagBuilder
.IsUnionTryGetValueEvaluation(d, out TypeSymbol? targetType, out _))
BoundTree\BoundIsPatternExpression.cs (1)
18
decisionDag =
DecisionDagBuilder
.CreateDecisionDagForIsPattern(
BoundTree\BoundSwitchExpression.cs (1)
19
decisionDag =
DecisionDagBuilder
.CreateDecisionDagForSwitchExpression(
BoundTree\BoundSwitchStatement.cs (1)
17
decisionDag =
DecisionDagBuilder
.CreateDecisionDagForSwitchStatement(
Utilities\TypeUnionValueSet.cs (2)
84
ConstantValue? matches =
DecisionDagBuilder
.ExpressionOfTypeMatchesPatternTypeForLearningFromSuccessfulTypeTest(conversions, type, t, ref useSiteInfo);
234
ConstantValue? matches =
DecisionDagBuilder
.ExpressionOfTypeMatchesPatternTypeForLearningFromSuccessfulTypeTest(_conversions, t1, t2, ref useSiteInfo);
Utilities\ValueSetFactory.cs (1)
74
if (
DecisionDagBuilder
.IsUnionValue(input, out BoundDagTemp? unionInstance) && ((NamedTypeSymbol)unionInstance.Type).UnionCaseTypes is not [])
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (1)
Utilities\ValueSetTests.cs (1)
16
/// Test some internal implementation data structures used in <see cref="
DecisionDagBuilder
"/>.