16 instantiations of NumericValueSet
Microsoft.CodeAnalysis.CSharp (16)
Utilities\ValueSetFactory.NonNegativeIntValueSetFactory.cs (5)
33return new NumericValueSet<int, NonNegativeIntTC>(0, value - 1); 37return new NumericValueSet<int, NonNegativeIntTC>(0, value); 41return new NumericValueSet<int, NonNegativeIntTC>(Math.Max(0, value + 1), int.MaxValue); 43return new NumericValueSet<int, NonNegativeIntTC>(Math.Max(0, value), int.MaxValue); 47return new NumericValueSet<int, NonNegativeIntTC>(value, value);
Utilities\ValueSetFactory.NumericValueSet.cs (6)
26public static readonly NumericValueSet<T, TTC> AllValues = new NumericValueSet<T, TTC>(default(TTC).MinValue, default(TTC).MaxValue); 28public static readonly NumericValueSet<T, TTC> NoValues = new NumericValueSet<T, TTC>(ImmutableArray<(T first, T last)>.Empty); 160return new NumericValueSet<T, TTC>(builder.ToImmutableAndFree()); 205return new NumericValueSet<T, TTC>(builder.ToImmutableAndFree()); 289return new NumericValueSet<T, TTC>(builder.ToImmutableAndFree()); 314return new NumericValueSet<T, TTC>(builder.ToImmutableAndFree());
Utilities\ValueSetFactory.NumericValueSetFactory.cs (5)
37return new NumericValueSet<T, TTC>(tc.MinValue, tc.Prev(value)); 39return new NumericValueSet<T, TTC>(tc.MinValue, value); 43return new NumericValueSet<T, TTC>(tc.Next(value), tc.MaxValue); 45return new NumericValueSet<T, TTC>(value, tc.MaxValue); 47return new NumericValueSet<T, TTC>(value, value);
32 references to NumericValueSet
Microsoft.CodeAnalysis.CSharp (32)
Utilities\ValueSetFactory.DecimalValueSetFactory.cs (3)
17IValueSet IValueSetFactory.AllValues => NumericValueSet<decimal, DecimalTC>.AllValues; 19IValueSet IValueSetFactory.NoValues => NumericValueSet<decimal, DecimalTC>.NoValues; 28value.IsBad ? NumericValueSet<decimal, DecimalTC>.AllValues : Related(relation, default(DecimalTC).FromConstantValue(value));
Utilities\ValueSetFactory.FloatingValueSet.cs (4)
28RoslynDebug.Assert(numbers is NumericValueSet<TFloating, TFloatingTC>); 33numbers: NumericValueSet<TFloating, TFloatingTC>.AllValues, hasNaN: true); 36numbers: NumericValueSet<TFloating, TFloatingTC>.NoValues, hasNaN: false); 83numbers: NumericValueSet<TFloating, TFloatingTC>.NoValues
Utilities\ValueSetFactory.NintValueSet.cs (2)
17public static readonly NintValueSet AllValues = new NintValueSet(hasSmall: true, values: NumericValueSet<int, IntTC>.AllValues, hasLarge: true); 19public static readonly NintValueSet NoValues = new NintValueSet(hasSmall: false, values: NumericValueSet<int, IntTC>.NoValues, hasLarge: false);
Utilities\ValueSetFactory.NonNegativeIntValueSetFactory.cs (6)
22public IValueSet AllValues => NumericValueSet<int, NonNegativeIntTC>.AllValues; 24public IValueSet NoValues => NumericValueSet<int, NonNegativeIntTC>.NoValues; 32return NumericValueSet<int, NonNegativeIntTC>.NoValues; 36return NumericValueSet<int, NonNegativeIntTC>.NoValues; 40return NumericValueSet<int, NonNegativeIntTC>.NoValues; 46return NumericValueSet<int, NonNegativeIntTC>.NoValues;
Utilities\ValueSetFactory.NuintValueSet.cs (2)
17public static readonly NuintValueSet AllValues = new NuintValueSet(values: NumericValueSet<uint, UIntTC>.AllValues, hasLarge: true); 19public static readonly NuintValueSet NoValues = new NuintValueSet(values: NumericValueSet<uint, UIntTC>.NoValues, hasLarge: false);
Utilities\ValueSetFactory.NumericValueSet.cs (9)
26public static readonly NumericValueSet<T, TTC> AllValues = new NumericValueSet<T, TTC>(default(TTC).MinValue, default(TTC).MaxValue); 28public static readonly NumericValueSet<T, TTC> NoValues = new NumericValueSet<T, TTC>(ImmutableArray<(T first, T last)>.Empty); 65var t = (NumericValueSet<T, TTC>)this.Intersect(gz); 167var other = (NumericValueSet<T, TTC>)o; 246var other = (NumericValueSet<T, TTC>)o; 327obj is NumericValueSet<T, TTC> other &&
Utilities\ValueSetFactory.NumericValueSetFactory.cs (6)
23IValueSet IValueSetFactory.AllValues => NumericValueSet<T, TTC>.AllValues; 25IValueSet IValueSetFactory.NoValues => NumericValueSet<T, TTC>.NoValues; 36return NumericValueSet<T, TTC>.NoValues; 42return NumericValueSet<T, TTC>.NoValues; 54value.IsBad ? NumericValueSet<T, TTC>.AllValues : Related(relation, default(TTC).FromConstantValue(value)); 57NumericValueSet<T, TTC>.Random(expectedSize, random);