File size: 2,437 Bytes
96af7c9 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 |
"use strict";
Object.defineProperty(exports, "__esModule", { value: true });
exports.ConstantArbitrary = void 0;
const Stream_1 = require("../../stream/Stream");
const Arbitrary_1 = require("../../check/arbitrary/definition/Arbitrary");
const Value_1 = require("../../check/arbitrary/definition/Value");
const symbols_1 = require("../../check/symbols");
const globals_1 = require("../../utils/globals");
const safeObjectIs = Object.is;
class ConstantArbitrary extends Arbitrary_1.Arbitrary {
constructor(values) {
super();
this.values = values;
}
generate(mrng, _biasFactor) {
const idx = this.values.length === 1 ? 0 : mrng.nextInt(0, this.values.length - 1);
const value = this.values[idx];
if (!(0, symbols_1.hasCloneMethod)(value)) {
return new Value_1.Value(value, idx);
}
return new Value_1.Value(value, idx, () => value[symbols_1.cloneMethod]());
}
canShrinkWithoutContext(value) {
if (this.values.length === 1) {
return safeObjectIs(this.values[0], value);
}
if (this.fastValues === undefined) {
this.fastValues = new FastConstantValuesLookup(this.values);
}
return this.fastValues.has(value);
}
shrink(value, context) {
if (context === 0 || safeObjectIs(value, this.values[0])) {
return Stream_1.Stream.nil();
}
return Stream_1.Stream.of(new Value_1.Value(this.values[0], 0));
}
}
exports.ConstantArbitrary = ConstantArbitrary;
class FastConstantValuesLookup {
constructor(values) {
this.values = values;
this.fastValues = new globals_1.Set(this.values);
let hasMinusZero = false;
let hasPlusZero = false;
if ((0, globals_1.safeHas)(this.fastValues, 0)) {
for (let idx = 0; idx !== this.values.length; ++idx) {
const value = this.values[idx];
hasMinusZero = hasMinusZero || safeObjectIs(value, -0);
hasPlusZero = hasPlusZero || safeObjectIs(value, 0);
}
}
this.hasMinusZero = hasMinusZero;
this.hasPlusZero = hasPlusZero;
}
has(value) {
if (value === 0) {
if (safeObjectIs(value, 0)) {
return this.hasPlusZero;
}
return this.hasMinusZero;
}
return (0, globals_1.safeHas)(this.fastValues, value);
}
}
|