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
110 references to IValueSet
Microsoft.CodeAnalysis.CSharp (110)
Binder\DecisionDagBuilder.cs (49)
1306DagState uniquifyState(FrozenArrayBuilder<StateForCase> cases, ImmutableDictionary<BoundDagTemp, IValueSet> remainingValues) 1319var newRemainingValues = ImmutableDictionary.CreateBuilder<BoundDagTemp, IValueSet>(); 1324if (existingState.RemainingValues.TryGetValue(dagTemp, out var existingValuesForTemp)) 1326var newExistingValuesForTemp = existingValuesForTemp.Union(valuesForTemp); 1332!existingState.RemainingValues.All(kv => newRemainingValues.TryGetValue(kv.Key, out IValueSet? values) && kv.Value.Equals(values))) 1365ImmutableDictionary<BoundDagTemp, IValueSet>.Empty); 1707IValueSet? whenTrueValues, 1708IValueSet? whenFalseValues, 1722out ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1724out ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1736whenTrueValues.TryGetValue(test.Input, out IValueSet? whenTrueValuesOpt); 1737whenFalseValues.TryGetValue(test.Input, out IValueSet? whenFalseValuesOpt); 1759ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1760ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1764ImmutableDictionary<BoundDagTemp, IValueSet> values, 1786ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1787ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1805ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1806ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1809splitValues<TValueSet>(ImmutableDictionary<BoundDagTemp, IValueSet> values, BoundDagTemp input, TValueSet fromTestPassing) where TValueSet : IValueSet 1812if (values.TryGetValue(input, out IValueSet? tempValuesBeforeTest)) 1823ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1824ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1849ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1850ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1870ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1871ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1961IValueSet? whenTrueValues, 1962IValueSet? whenFalseValues, 2125IValueSet? whenFalseValues, 3032public ImmutableDictionary<BoundDagTemp, IValueSet> RemainingValues { get; private set; } = null!; 3061public static DagState GetInstance(FrozenArrayBuilder<StateForCase> cases, ImmutableDictionary<BoundDagTemp, IValueSet> remainingValues) 3105internal void UpdateRemainingValues(ImmutableDictionary<BoundDagTemp, IValueSet> newRemainingValues) 3251IValueSet? whenTrueValues, 3252IValueSet? whenFalseValues, 3394IValueSet? whenTrueValues, 3395IValueSet? whenFalseValues, 3418IValueSet? whenTrueValues, 3419IValueSet? whenFalseValues, 3445IValueSet? whenTrueValues, 3446IValueSet? whenFalseValues, 4056IValueSet? whenTrueValues, 4057IValueSet? whenFalseValues, 4127private Tests ComputeFilteredResult(IValueSet? possibleValues) 4225IValueSet? whenTrueValues, 4226IValueSet? whenFalseValues, 4252IValueSet? whenTrueValues, 4253IValueSet? 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)
342IValueSet IValueSet.Complement() 347IValueSet IValueSet.Intersect(IValueSet other) 352IValueSet 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);