1 instantiation of AndSequence
Microsoft.CodeAnalysis.CSharp (1)
Binder\DecisionDagBuilder.cs (1)
3613
_ => new
AndSequence
(remainingTests.ToImmutable()),
18 references to AndSequence
Microsoft.CodeAnalysis.CSharp (18)
Binder\DecisionDagBuilder.cs (17)
399
return Tests.
AndSequence
.Create(tests);
461
return Tests.
AndSequence
.Create(tests);
472
return Tests.
AndSequence
.Create(tests);
557
return Tests.
AndSequence
.Create(tests);
648
return Tests.
AndSequence
.Create(tests);
743
return Tests.
AndSequence
.Create(builder);
752
return Tests.
AndSequence
.Create(builder);
778
return Tests.
AndSequence
.Create(tests);
2400
return
AndSequence
.Create(finalResult);
2424
AndSequence
.Create(finalResult),
2425
AndSequence
.Create(Not.Create(rewriteResult.ConditionToUseFinalResult), rewriteResult.TempsUpdatedResult));
2998
Tests.
AndSequence
a => new Not(a),
2999
Tests.OrSequence a => Tests.
AndSequence
.Create(NegateSequenceElements(a.RemainingTests)), // use demorgan to prefer and sequences
3152
testsToAssemble.Push((seq is
AndSequence
? ReassembleKind.And : ReassembleKind.Or, remainingTests.Length, tempMap));
3181
testsRewritten.Push(kind is ReassembleKind.And ?
AndSequence
.Create(newSequence) : OrSequence.Create(newSequence));
3576
Debug.Assert(!remainingTests.Any(t => t is
AndSequence
));
3601
case
AndSequence
seq:
Binder\DecisionDagBuilder_ListPatterns.cs (1)
93
return Tests.
AndSequence
.Create(tests);