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)
1275DagState uniquifyState(FrozenArrayBuilder<StateForCase> cases, ImmutableDictionary<BoundDagTemp, IValueSet> remainingValues) 1288var newRemainingValues = ImmutableDictionary.CreateBuilder<BoundDagTemp, IValueSet>(); 1293if (existingState.RemainingValues.TryGetValue(dagTemp, out var existingValuesForTemp)) 1295var newExistingValuesForTemp = existingValuesForTemp.Union(valuesForTemp); 1301!existingState.RemainingValues.All(kv => newRemainingValues.TryGetValue(kv.Key, out IValueSet? values) && kv.Value.Equals(values))) 1334ImmutableDictionary<BoundDagTemp, IValueSet>.Empty); 1676IValueSet? whenTrueValues, 1677IValueSet? whenFalseValues, 1691out ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1693out ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1705whenTrueValues.TryGetValue(test.Input, out IValueSet? whenTrueValuesOpt); 1706whenFalseValues.TryGetValue(test.Input, out IValueSet? whenFalseValuesOpt); 1728ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1729ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1733ImmutableDictionary<BoundDagTemp, IValueSet> values, 1755ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1756ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1774ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1775ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1778splitValues<TValueSet>(ImmutableDictionary<BoundDagTemp, IValueSet> values, BoundDagTemp input, TValueSet fromTestPassing) where TValueSet : IValueSet 1781if (values.TryGetValue(input, out IValueSet? tempValuesBeforeTest)) 1792ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1793ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1818ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1819ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1839ImmutableDictionary<BoundDagTemp, IValueSet> whenTrueValues, 1840ImmutableDictionary<BoundDagTemp, IValueSet> whenFalseValues, 1930IValueSet? whenTrueValues, 1931IValueSet? whenFalseValues, 2095IValueSet? whenFalseValues, 3001public ImmutableDictionary<BoundDagTemp, IValueSet> RemainingValues { get; private set; } = null!; 3030public static DagState GetInstance(FrozenArrayBuilder<StateForCase> cases, ImmutableDictionary<BoundDagTemp, IValueSet> remainingValues) 3074internal void UpdateRemainingValues(ImmutableDictionary<BoundDagTemp, IValueSet> newRemainingValues) 3218IValueSet? whenTrueValues, 3219IValueSet? whenFalseValues, 3361IValueSet? whenTrueValues, 3362IValueSet? whenFalseValues, 3385IValueSet? whenTrueValues, 3386IValueSet? whenFalseValues, 3412IValueSet? whenTrueValues, 3413IValueSet? whenFalseValues, 4016IValueSet? whenTrueValues, 4017IValueSet? whenFalseValues, 4043IValueSet? whenTrueValues, 4044IValueSet? 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)
275IValueSet IValueSet.Complement() 280IValueSet IValueSet.Intersect(IValueSet other) 285IValueSet 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);