1 interface inheriting from IValueSet
Microsoft.CodeAnalysis.CSharp (1)
Utilities\IValueSet.cs (1)
34internal interface IConstantValueSet : IValueSet
3 implementations of IValueSet
Microsoft.CodeAnalysis.CSharp (3)
Utilities\TypeUnionValueSet.cs (1)
19internal sealed class TypeUnionValueSet : IValueSet
Utilities\ValueSetFactory.NintValueSet.cs (1)
15private sealed class NintValueSet : IConstantValueSet<int>, IValueSet
Utilities\ValueSetFactory.NuintValueSet.cs (1)
15private sealed class NuintValueSet : IConstantValueSet<uint>, IValueSet
107 references to IValueSet
Microsoft.CodeAnalysis.CSharp (107)
Binder\DecisionDagBuilder.cs (46)
1298DagState uniquifyState(FrozenArrayBuilder<StateForCase> cases, ImmutableDictionary<BoundDagTemp, IValueSet> remainingValues) 1311var newRemainingValues = ImmutableDictionary.CreateBuilder<BoundDagTemp, IValueSet>(); 1316if (existingState.RemainingValues.TryGetValue(dagTemp, out var existingValuesForTemp)) 1318var newExistingValuesForTemp = existingValuesForTemp.Union(valuesForTemp); 1324!existingState.RemainingValues.All(kv => newRemainingValues.TryGetValue(kv.Key, out IValueSet? values) && kv.Value.Equals(values))) 1357ImmutableDictionary<BoundDagTemp, IValueSet>.Empty); 1699IValueSet? whenTrueValues, 1700IValueSet? whenFalseValues, 1714out ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1716out ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1728whenTrueValues.TryGetValue(test.Input, out IValueSet? whenTrueValuesOpt); 1729whenFalseValues.TryGetValue(test.Input, out IValueSet? whenFalseValuesOpt); 1751ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1752ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1756ImmutableDictionary<BoundDagTemp, IValueSet> values, 1778ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1779ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1797ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1798ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1801splitValues<TValueSet>(ImmutableDictionary<BoundDagTemp, IValueSet> values, BoundDagTemp input, TValueSet fromTestPassing) where TValueSet : IValueSet 1804if (values.TryGetValue(input, out IValueSet? tempValuesBeforeTest)) 1815ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1816ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1841ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1842ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1862ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1863ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1953IValueSet? whenTrueValues, 1954IValueSet? whenFalseValues, 2118IValueSet? whenFalseValues, 3024public ImmutableDictionary<BoundDagTemp, IValueSet> RemainingValues { get; private set; } = null!; 3053public static DagState GetInstance(FrozenArrayBuilder<StateForCase> cases, ImmutableDictionary<BoundDagTemp, IValueSet> remainingValues) 3097internal void UpdateRemainingValues(ImmutableDictionary<BoundDagTemp, IValueSet> newRemainingValues) 3241IValueSet? whenTrueValues, 3242IValueSet? whenFalseValues, 3384IValueSet? whenTrueValues, 3385IValueSet? whenFalseValues, 3408IValueSet? whenTrueValues, 3409IValueSet? whenFalseValues, 3435IValueSet? whenTrueValues, 3436IValueSet? whenFalseValues, 4039IValueSet? whenTrueValues, 4040IValueSet? whenFalseValues, 4066IValueSet? whenTrueValues, 4067IValueSet? whenFalseValues,
Utilities\IValueSet.cs (6)
21IValueSet Intersect(IValueSet other); 26IValueSet Union(IValueSet other); 31IValueSet Complement(); 66/// An interface representing a set of values of a specific type. Like <see cref="IValueSet"/> but strongly typed to <typeparamref name="T"/>.
Utilities\TypeUnionValueSet.cs (8)
319IValueSet IValueSet.Complement() 324IValueSet IValueSet.Intersect(IValueSet other) 329IValueSet IValueSet.Union(IValueSet other)
Utilities\ValueSetFactory.BoolValueSet.cs (7)
75IValueSet IValueSet.Complement() => this.Complement(); 85public IValueSet Intersect(IValueSet other) => this.Intersect((IConstantValueSet<bool>)other); 95IValueSet IValueSet.Union(IValueSet other) => this.Union((IConstantValueSet<bool>)other);
Utilities\ValueSetFactory.EnumeratedValueSet.cs (8)
115IValueSet IValueSet.Complement() => this.Complement(); 138IValueSet IValueSet.Intersect(IValueSet other) => Intersect((IConstantValueSet<T>)other); 161IValueSet IValueSet.Union(IValueSet other) => Union((IConstantValueSet<T>)other);
Utilities\ValueSetFactory.FloatingValueSet.cs (8)
111IValueSet IValueSet.Intersect(IValueSet other) => this.Intersect((IConstantValueSet<TFloating>)other); 126IValueSet IValueSet.Union(IValueSet other) => this.Union((IConstantValueSet<TFloating>)other); 136IValueSet IValueSet.Complement() => this.Complement();
Utilities\ValueSetFactory.NintValueSet.cs (8)
96IValueSet IValueSet.Complement() => this.Complement(); 108IValueSet IValueSet.Intersect(IValueSet other) => this.Intersect((NintValueSet)other); 120IValueSet IValueSet.Union(IValueSet other) => this.Union((NintValueSet)other);
Utilities\ValueSetFactory.NuintValueSet.cs (8)
82IValueSet IValueSet.Complement() => this.Complement(); 93IValueSet IValueSet.Intersect(IValueSet other) => this.Intersect((NuintValueSet)other); 104IValueSet IValueSet.Union(IValueSet other) => this.Union((NuintValueSet)other);
Utilities\ValueSetFactory.NumericValueSet.cs (8)
160IValueSet IValueSet.Complement() => this.Complement(); 237IValueSet IValueSet.Intersect(IValueSet other) => this.Intersect((IConstantValueSet<T>)other); 288IValueSet IValueSet.Union(IValueSet other) => this.Union((IConstantValueSet<T>)other);