fast-check
Version:
Property based testing framework for JavaScript (like QuickCheck)
64 lines (63 loc) • 2.05 kB
JavaScript
;
Object.defineProperty(exports, "__esModule", { value: true });
exports.scheduledModelRun = exports.asyncModelRun = exports.modelRun = void 0;
const ScheduledCommand_1 = require("./commands/ScheduledCommand");
const genericModelRun = (s, cmds, initialValue, runCmd, then) => {
return s.then((o) => {
const { model, real } = o;
let state = initialValue;
for (const c of cmds) {
state = then(state, () => {
return runCmd(c, model, real);
});
}
return state;
});
};
const internalModelRun = (s, cmds) => {
const then = (p, c) => c();
const setupProducer = {
then: (fun) => {
fun(s());
return undefined;
},
};
const runSync = (cmd, m, r) => {
if (cmd.check(m))
cmd.run(m, r);
return undefined;
};
return genericModelRun(setupProducer, cmds, undefined, runSync, then);
};
const isAsyncSetup = (s) => {
return typeof s.then === 'function';
};
const internalAsyncModelRun = async (s, cmds, defaultPromise = Promise.resolve()) => {
const then = (p, c) => p.then(c);
const setupProducer = {
then: (fun) => {
const out = s();
if (isAsyncSetup(out))
return out.then(fun);
else
return fun(out);
},
};
const runAsync = async (cmd, m, r) => {
if (await cmd.check(m))
await cmd.run(m, r);
};
return await genericModelRun(setupProducer, cmds, defaultPromise, runAsync, then);
};
exports.modelRun = (s, cmds) => {
internalModelRun(s, cmds);
};
exports.asyncModelRun = async (s, cmds) => {
await internalAsyncModelRun(s, cmds);
};
exports.scheduledModelRun = async (scheduler, s, cmds) => {
const scheduledCommands = ScheduledCommand_1.scheduleCommands(scheduler, cmds);
const out = internalAsyncModelRun(s, scheduledCommands, scheduler.schedule(Promise.resolve(), 'startModel'));
await scheduler.waitAll();
await out;
};