12 instantiations of NumericValueSet
Microsoft.CodeAnalysis.CSharp (12)
Utilities\ValueSetFactory.NonNegativeIntValueSetFactory.cs (5)
33return new NumericValueSet<int>(0, value - 1, tc); 37return new NumericValueSet<int>(0, value, tc); 41return new NumericValueSet<int>(Math.Max(0, value + 1), int.MaxValue, tc); 43return new NumericValueSet<int>(Math.Max(0, value), int.MaxValue, tc); 47return new NumericValueSet<int>(value, value, tc);
Utilities\ValueSetFactory.NumericValueSet.cs (2)
27public static NumericValueSet<T> AllValues(INumericTC<T> tc) => new NumericValueSet<T>(tc.MinValue, tc.MaxValue, tc); 29public static NumericValueSet<T> NoValues(INumericTC<T> tc) => new NumericValueSet<T>(ImmutableArray<(T first, T last)>.Empty, tc);
Utilities\ValueSetFactory.NumericValueSetFactory.cs (5)
36return new NumericValueSet<T>(_tc.MinValue, _tc.Prev(value), _tc); 38return new NumericValueSet<T>(_tc.MinValue, value, _tc); 42return new NumericValueSet<T>(_tc.Next(value), _tc.MaxValue, _tc); 44return new NumericValueSet<T>(value, _tc.MaxValue, _tc); 46return new NumericValueSet<T>(value, value, _tc);
32 references to NumericValueSet
Microsoft.CodeAnalysis.CSharp (32)
Utilities\ValueSetFactory.DecimalValueSetFactory.cs (3)
17IValueSet IValueSetFactory.AllValues => NumericValueSet<decimal>.AllValues(DecimalTC.Instance); 19IValueSet IValueSetFactory.NoValues => NumericValueSet<decimal>.NoValues(DecimalTC.Instance); 28value.IsBad ? NumericValueSet<decimal>.AllValues(DecimalTC.Instance) : Related(relation, DecimalTC.Instance.FromConstantValue(value));
Utilities\ValueSetFactory.FloatingValueSet.cs (4)
28RoslynDebug.Assert(numbers is NumericValueSet<TFloating>); 33numbers: NumericValueSet<TFloating>.AllValues(tc), hasNaN: true, tc); 36numbers: NumericValueSet<TFloating>.NoValues(tc), hasNaN: false, tc); 81numbers: NumericValueSet<TFloating>.NoValues(tc),
Utilities\ValueSetFactory.NintValueSet.cs (2)
17public static readonly NintValueSet AllValues = new NintValueSet(hasSmall: true, values: NumericValueSet<int>.AllValues(IntTC.DefaultInstance), hasLarge: true); 19public static readonly NintValueSet NoValues = new NintValueSet(hasSmall: false, values: NumericValueSet<int>.NoValues(IntTC.DefaultInstance), hasLarge: false);
Utilities\ValueSetFactory.NonNegativeIntValueSetFactory.cs (6)
21public IValueSet AllValues => NumericValueSet<int>.AllValues(IntTC.NonNegativeInstance); 23public IValueSet NoValues => NumericValueSet<int>.NoValues(IntTC.NonNegativeInstance); 32return NumericValueSet<int>.NoValues(tc); 36return NumericValueSet<int>.NoValues(tc); 40return NumericValueSet<int>.NoValues(tc); 46return NumericValueSet<int>.NoValues(tc);
Utilities\ValueSetFactory.NuintValueSet.cs (2)
17public static readonly NuintValueSet AllValues = new NuintValueSet(values: NumericValueSet<uint>.AllValues(UIntTC.Instance), hasLarge: true); 19public static readonly NuintValueSet NoValues = new NuintValueSet(values: NumericValueSet<uint>.NoValues(UIntTC.Instance), hasLarge: false);
Utilities\ValueSetFactory.NumericValueSet.cs (9)
27public static NumericValueSet<T> AllValues(INumericTC<T> tc) => new NumericValueSet<T>(tc.MinValue, tc.MaxValue, tc); 29public static NumericValueSet<T> NoValues(INumericTC<T> tc) => new NumericValueSet<T>(ImmutableArray<(T first, T last)>.Empty, tc); 65var t = (NumericValueSet<T>)this.Intersect(gz); 164var other = (NumericValueSet<T>)o; 241var other = (NumericValueSet<T>)o; 321obj is NumericValueSet<T> other &&
Utilities\ValueSetFactory.NumericValueSetFactory.cs (6)
23IValueSet IValueSetFactory.AllValues => NumericValueSet<T>.AllValues(_tc); 25IValueSet IValueSetFactory.NoValues => NumericValueSet<T>.NoValues(_tc); 35return NumericValueSet<T>.NoValues(_tc); 41return NumericValueSet<T>.NoValues(_tc); 53value.IsBad ? NumericValueSet<T>.AllValues(_tc) : Related(relation, _tc.FromConstantValue(value)); 56NumericValueSet<T>.Random(expectedSize, random, _tc);