7 implementations of Complement
Microsoft.CodeAnalysis.CSharp (7)
Utilities\TypeUnionValueSet.cs (1)
276
IValueSet IValueSet.
Complement
()
Utilities\ValueSetFactory.BoolValueSet.cs (1)
75
IValueSet IValueSet.
Complement
() => this.Complement();
Utilities\ValueSetFactory.EnumeratedValueSet.cs (1)
115
IValueSet IValueSet.
Complement
() => this.Complement();
Utilities\ValueSetFactory.FloatingValueSet.cs (1)
136
IValueSet IValueSet.
Complement
() => this.Complement();
Utilities\ValueSetFactory.NintValueSet.cs (1)
96
IValueSet IValueSet.
Complement
() => this.Complement();
Utilities\ValueSetFactory.NuintValueSet.cs (1)
82
IValueSet IValueSet.
Complement
() => this.Complement();
Utilities\ValueSetFactory.NumericValueSet.cs (1)
160
IValueSet IValueSet.
Complement
() => this.Complement();
57 references to Complement
Microsoft.CodeAnalysis.CSharp (5)
Binder\DecisionDagBuilder.cs (3)
1163
else if (((IConstantValueSet?)values?.
Complement
())?.IsEmpty != true)
1778
var fromTestFailing = (TValueSet)fromTestPassing.
Complement
();
3501
if (((IConstantValueSet)lengthValues.
Complement
().Intersect(possibleValues)).IsEmpty)
Binder\PatternExplainer.cs (2)
567
if (((IConstantValueSet)remainingValues.
Complement
()).IsEmpty)
749
filtered = (IConstantValueSet)filtered.
Complement
();
Microsoft.CodeAnalysis.CSharp.Semantic.UnitTests (52)
Utilities\ValueSetTests.cs (52)
434
var s3 = b.
Complement
().Intersect(s2.Complement());
436
var s4 = b.Union(s2).
Complement
();
606
var u2 = s1.
Complement
().Intersect(s2.
Complement
()).
Complement
();
609
var i2 = s1.
Complement
().Union(s2.
Complement
()).
Complement
();
629
Assert.Equal(s1.
Complement
(), s2);
630
Assert.Equal(s2.
Complement
(), s1);
640
Assert.Equal(s1.
Complement
(), s2);
641
Assert.Equal(s2.
Complement
(), s1);
660
Assert.Equal(s1.
Complement
().
Complement
(), s1);
663
var u2 = s1.
Complement
().Intersect(s2.
Complement
()).
Complement
();
665
var u4 = s2.
Complement
().Intersect(s1.
Complement
()).
Complement
();
671
var i2 = s1.
Complement
().Union(s2.
Complement
()).
Complement
();
673
var i4 = s2.
Complement
().Union(s1.
Complement
()).
Complement
();
678
s1 = (IConstantValueSet)s1.
Complement
();
681
u2 = s1.
Complement
().Intersect(s2.
Complement
()).
Complement
();
683
u4 = s2.
Complement
().Intersect(s1.
Complement
()).
Complement
();
689
i2 = s1.
Complement
().Union(s2.
Complement
()).
Complement
();
691
i4 = s2.
Complement
().Union(s1.
Complement
()).
Complement
();
696
s2 = (IConstantValueSet)s2.
Complement
();
699
u2 = s1.
Complement
().Intersect(s2.
Complement
()).
Complement
();
701
u4 = s2.
Complement
().Intersect(s1.
Complement
()).
Complement
();
707
i2 = s1.
Complement
().Union(s2.
Complement
()).
Complement
();
709
i4 = s2.
Complement
().Union(s1.
Complement
()).
Complement
();