1 write to _tc
Microsoft.CodeAnalysis.CSharp (1)
Utilities\ValueSetFactory.NumericValueSetFactory.cs (1)
27
public NumericValueSetFactory(INumericTC<T> tc) { this.
_tc
= tc; }
27 references to _tc
Microsoft.CodeAnalysis.CSharp (27)
Utilities\ValueSetFactory.NumericValueSetFactory.cs (27)
23
IValueSet IValueSetFactory.AllValues => NumericValueSet<T>.AllValues(
_tc
);
25
IValueSet IValueSetFactory.NoValues => NumericValueSet<T>.NoValues(
_tc
);
34
if (
_tc
.Related(LessThanOrEqual, value,
_tc
.MinValue))
35
return NumericValueSet<T>.NoValues(
_tc
);
36
return new NumericValueSet<T>(
_tc
.MinValue,
_tc
.Prev(value),
_tc
);
38
return new NumericValueSet<T>(
_tc
.MinValue, value,
_tc
);
40
if (
_tc
.Related(GreaterThanOrEqual, value,
_tc
.MaxValue))
41
return NumericValueSet<T>.NoValues(
_tc
);
42
return new NumericValueSet<T>(
_tc
.Next(value),
_tc
.MaxValue,
_tc
);
44
return new NumericValueSet<T>(value,
_tc
.MaxValue,
_tc
);
46
return new NumericValueSet<T>(value, value,
_tc
);
53
value.IsBad ? NumericValueSet<T>.AllValues(
_tc
) : Related(relation,
_tc
.FromConstantValue(value));
56
NumericValueSet<T>.Random(expectedSize, random,
_tc
);
60
return
_tc
.ToConstantValue(
_tc
.Random(random));
65
return
_tc
.Related(relation,
_tc
.FromConstantValue(left),
_tc
.FromConstantValue(right));