2 instantiations of BoundDecisionDag
Microsoft.CodeAnalysis.CSharp (2)
Binder\DecisionDagBuilder.cs (1)
1201var boundDecisionDag = new BoundDecisionDag(rootDecisionDagNode.Syntax, rootDecisionDagNode, _suitableForLowering);
Generated\BoundNodes.xml.Generated.cs (1)
5084var result = new BoundDecisionDag(this.Syntax, rootNode, suitableForLowering, this.HasErrors);
75 references to BoundDecisionDag
Microsoft.CodeAnalysis.CSharp (74)
Binder\Binder_Patterns.cs (2)
245BoundDecisionDag decisionDag = DecisionDagBuilder.CreateDecisionDagForIsPattern( 327static bool? getConstantResult(BoundDecisionDag decisionDag, bool negated, LabelSymbol whenTrueLabel, LabelSymbol whenFalseLabel)
Binder\DecisionDagBuilder.cs (12)
23/// the class <see cref="BoundDecisionDag"/> and is a representation of a finite state automaton that performs a 47/// cref="BoundDecisionDag"/> containing this set of nodes becomes part of the bound nodes (e.g. in <see 81public static BoundDecisionDag CreateDecisionDagForSwitchStatement( 97public static BoundDecisionDag CreateDecisionDagForSwitchExpression( 113public static BoundDecisionDag CreateDecisionDagForIsPattern( 128private BoundDecisionDag CreateDecisionDagForIsPattern( 143private BoundDecisionDag CreateDecisionDagForSwitchStatement( 168private BoundDecisionDag CreateDecisionDagForSwitchExpression( 1181private BoundDecisionDag MakeBoundDecisionDag(SyntaxNode syntax, ref TemporaryArray<StateForCase> cases) 1201var boundDecisionDag = new BoundDecisionDag(rootDecisionDagNode.Syntax, rootDecisionDagNode, _suitableForLowering); 1572/// Compute the <see cref="BoundDecisionDag"/> corresponding to each <see cref="DagState"/> of the given <see cref="DecisionDag"/> 2961/// machine (<see cref="BoundDecisionDag"/>), and contains a representation of the meaning of the state. Because we always make
Binder\DecisionDagBuilder_CheckOrReachability.cs (1)
525BoundDecisionDag dag = context.Builder.MakeBoundDecisionDag(context.Syntax, ref casesBuilder.AsRef());
Binder\SwitchBinder_Patterns.cs (2)
45BoundDecisionDag decisionDag = DecisionDagBuilder.CreateDecisionDagForSwitchStatement( 79BoundDecisionDag decisionDag,
Binder\SwitchExpressionBinder.cs (4)
36out BoundDecisionDag decisionDag, out LabelSymbol? defaultLabel, out bool wasReported, diagnostics); 65out BoundDecisionDag decisionDag, 136BoundDecisionDag.AddSuccessors(ref builder, n); 140BoundDecisionDag.AddSuccessors(ref builder, n);
BoundTree\BoundDecisionDag.cs (2)
93public BoundDecisionDag Rewrite(Func<BoundDecisionDagNode, IReadOnlyDictionary<BoundDecisionDagNode, BoundDecisionDagNode>, BoundDecisionDagNode> makeReplacement) 144public BoundDecisionDag SimplifyDecisionDagIfConstantInput(BoundExpression input)
BoundTree\BoundIsPatternExpression.cs (2)
11public BoundDecisionDag GetDecisionDagForLowering(CSharpCompilation compilation) 13BoundDecisionDag decisionDag = this.ReachabilityDecisionDag;
BoundTree\BoundSwitchExpression.cs (2)
12public BoundDecisionDag GetDecisionDagForLowering(CSharpCompilation compilation, out LabelSymbol? defaultLabel) 16BoundDecisionDag decisionDag = this.ReachabilityDecisionDag;
BoundTree\BoundSwitchStatement.cs (2)
12public BoundDecisionDag GetDecisionDagForLowering(CSharpCompilation compilation) 14BoundDecisionDag decisionDag = this.ReachabilityDecisionDag;
FlowAnalysis\NullableWalker_Patterns.cs (1)
376BoundDecisionDag decisionDag,
Generated\BoundNodes.xml.Generated.cs (28)
3830public BoundSwitchStatement(SyntaxNode syntax, BoundExpression expression, ImmutableArray<LocalSymbol> innerLocals, ImmutableArray<MethodSymbol> innerLocalFunctions, ImmutableArray<BoundSwitchSection> switchSections, BoundDecisionDag reachabilityDecisionDag, BoundSwitchLabel? defaultLabel, LabelSymbol breakLabel, bool hasErrors = false) 3854public BoundDecisionDag ReachabilityDecisionDag { get; } 3861public BoundSwitchStatement Update(BoundExpression expression, ImmutableArray<LocalSymbol> innerLocals, ImmutableArray<MethodSymbol> innerLocalFunctions, ImmutableArray<BoundSwitchSection> switchSections, BoundDecisionDag reachabilityDecisionDag, BoundSwitchLabel? defaultLabel, LabelSymbol breakLabel) 4937protected BoundSwitchExpression(BoundKind kind, SyntaxNode syntax, BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol? type, bool hasErrors = false) 4954public BoundDecisionDag ReachabilityDecisionDag { get; } 5002public BoundUnconvertedSwitchExpression(SyntaxNode syntax, BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol? type, bool hasErrors = false) 5016public BoundUnconvertedSwitchExpression Update(BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol? type) 5030public BoundConvertedSwitchExpression(SyntaxNode syntax, TypeSymbol? naturalTypeOpt, bool wasTargetTyped, BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol type, bool hasErrors = false) 5050public BoundConvertedSwitchExpression Update(TypeSymbol? naturalTypeOpt, bool wasTargetTyped, BoundExpression expression, ImmutableArray<BoundSwitchExpressionArm> switchArms, BoundDecisionDag reachabilityDecisionDag, LabelSymbol? defaultLabel, bool reportedNotExhaustive, TypeSymbol type) 5080public BoundDecisionDag Update(BoundDecisionDagNode rootNode, bool suitableForLowering) 5084var result = new BoundDecisionDag(this.Syntax, rootNode, suitableForLowering, this.HasErrors); 8087public BoundIsPatternExpression(SyntaxNode syntax, BoundExpression expression, BoundPattern pattern, bool hasUnionMatching, bool isNegated, BoundDecisionDag reachabilityDecisionDag, LabelSymbol whenTrueLabel, LabelSymbol whenFalseLabel, TypeSymbol? type, bool hasErrors = false) 8110public BoundDecisionDag ReachabilityDecisionDag { get; } 8117public BoundIsPatternExpression Update(BoundExpression expression, BoundPattern pattern, bool hasUnionMatching, bool isNegated, BoundDecisionDag reachabilityDecisionDag, LabelSymbol whenTrueLabel, LabelSymbol whenFalseLabel, TypeSymbol? type) 9360return VisitDecisionDag((BoundDecisionDag)node, arg); 9710public virtual R VisitDecisionDag(BoundDecisionDag node, A arg) => this.DefaultVisit(node, arg); 9951public virtual BoundNode? VisitDecisionDag(BoundDecisionDag node) => this.DefaultVisit(node); 10570public override BoundNode? VisitDecisionDag(BoundDecisionDag node) 11728BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 11939BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 11948BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 11953public override BoundNode? VisitDecisionDag(BoundDecisionDag node) 12513BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 13893BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 14133BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 14153BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 15190BoundDecisionDag reachabilityDecisionDag = node.ReachabilityDecisionDag; 16627public override TreeDumperNode VisitDecisionDag(BoundDecisionDag node, object? arg) => new TreeDumperNode("decisionDag", null, new TreeDumperNode[]
Lowering\LocalRewriter\LocalRewriter.DecisionDagRewriter.cs (4)
62private void ComputeLabelSet(BoundDecisionDag decisionDag) 337protected BoundDecisionDag ShareTempsIfPossibleAndEvaluateInput( 338BoundDecisionDag decisionDag, 369protected ImmutableArray<BoundStatement> LowerDecisionDagCore(BoundDecisionDag decisionDag)
Lowering\LocalRewriter\LocalRewriter.PatternLocalRewriter.cs (6)
540protected BoundDecisionDag ShareTempsAndEvaluateInput( 542BoundDecisionDag decisionDag, 644private BoundDecisionDag RewriteTupleInput( 645BoundDecisionDag decisionDag, 667var rewrittenDag = decisionDag.Rewrite(makeReplacement); 716return BoundDecisionDag.TrivialReplacement(node, replacement);
Lowering\LocalRewriter\LocalRewriter_BasePatternSwitchLocalRewriter.cs (1)
68protected (ImmutableArray<BoundStatement> loweredDag, ImmutableDictionary<SyntaxNode, ImmutableArray<BoundStatement>> switchSections) LowerDecisionDag(BoundDecisionDag decisionDag)
Lowering\LocalRewriter\LocalRewriter_IsPatternOperator.cs (3)
17BoundDecisionDag decisionDag = node.GetDecisionDagForLowering(_factory.Compilation); 109internal BoundExpression LowerGeneralIsPattern(BoundIsPatternExpression node, BoundDecisionDag decisionDag) 220BoundDecisionDag decisionDag,
Lowering\LocalRewriter\LocalRewriter_PatternSwitchStatement.cs (1)
98BoundDecisionDag decisionDag = ShareTempsIfPossibleAndEvaluateInput(
Lowering\LocalRewriter\LocalRewriter_SwitchExpression.cs (1)
53BoundDecisionDag decisionDag = ShareTempsIfPossibleAndEvaluateInput(
Microsoft.CodeAnalysis.CSharp.Test.Utilities (1)
CSharpTestBase.cs (1)
3303BoundDecisionDag decisionDag;