Press n or j to go to the next uncovered block, b, p or k for the previous block.
| 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 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 | 1x 1x 1x 1x 1x 800x 800x 800x 800x 800x 800x 800x 800x 1600x 1600x 16773x 1128x 1090x 1084x 1189x 1100x 1149x 1098x 1132x 6176x 1118x 1092x 1120x 1078x 5810x 1164x 1094x 1137x 16773x 1600x 800x 800x 800x 800x 1x 14776x 14776x 14776x 1x 13866x 13866x 1x 800x 1600x 3352x 1600x | import {RandomJson} from '@jsonjoy.com/util/lib/json-random';
import {Fuzzer} from '@jsonjoy.com/util/lib/Fuzzer';
import {interval, type ITimestampStruct, Timespan, ClockVector, ServerClockVector, ts} from '../../clock';
import {SESSION} from '../../constants';
import type {Patch} from '../../Patch';
import {PatchBuilder} from '../../PatchBuilder';
export class PatchFuzzer extends Fuzzer {
public generateLogicalPatch(): Patch {
const clock = this.generateLogicalClock();
const builder = new PatchBuilder(clock);
this.generateLogicalPatchBase(builder, this.generateLogicalTimestamp);
return builder.patch;
}
public generateServerPatch(): Patch {
const clock = this.generateServerClock();
const builder = new PatchBuilder(clock);
this.generateLogicalPatchBase(builder, this.generateServerTimestamp);
return builder.patch;
}
public generateLogicalPatchBase(builder: PatchBuilder, ts: () => ITimestampStruct): Patch {
const length = this.generatePatchLength();
for (let i = 0; i < length; i++) {
const build = Fuzzer.pick([
() => builder.obj(),
() => builder.arr(),
() => builder.str(),
() => builder.bin(),
() => builder.val(),
() => builder.con(RandomJson.generate()),
() => builder.root(ts()),
() =>
builder.insObj(
ts(),
Fuzzer.repeat(Fuzzer.randomInt(1, 10), () => [RandomJson.genString(), ts()]),
),
() => builder.setVal(ts(), ts()),
() => builder.insStr(ts(), ts(), RandomJson.genString()),
() => builder.insBin(ts(), ts(), RandomJson.genBinary()),
() =>
builder.insArr(
ts(),
ts(),
Fuzzer.repeat(Fuzzer.randomInt(1, 10), () => ts()),
),
() => builder.del(ts(), [interval(ts(), 0, this.generateSpan())]),
() => builder.del(ts(), [interval(ts(), 0, this.generateSpan()), interval(ts(), 0, this.generateSpan())]),
() => builder.nop(Fuzzer.randomInt(1, 20)),
]);
build();
}
return builder.patch;
}
public generateLogicalClock(): ClockVector {
const sessionId = this.generateSessionId();
const time = this.generateTime();
return new ClockVector(sessionId, time);
}
public generateServerClock(): ServerClockVector {
return new ServerClockVector(SESSION.SERVER, this.generateTime());
}
public readonly generateLogicalTimestamp = (): ITimestampStruct => {
const sessionId = Fuzzer.randomInt(0xffff + 1, SESSION.MAX);
const time = Fuzzer.randomInt(0, 0xffffff);
return ts(sessionId, time);
};
public readonly generateServerTimestamp = (): ITimestampStruct => {
const time = Fuzzer.randomInt(0, 0xffffff);
return ts(SESSION.SERVER, time);
};
public readonly generateLogicalTimespan = (): Timespan => {
const sessionId = this.generateSessionId();
const time = this.generateTime();
const span = this.generateSpan();
return new Timespan(sessionId, time, span);
};
public generateSessionId(): number {
return Fuzzer.randomInt(0xffff + 1, SESSION.MAX);
}
public generateTime(): number {
return Fuzzer.randomInt(0, 0xffffffffff);
}
public generateSpan(): number {
return Fuzzer.randomInt(1, 0xffff);
}
public generatePatchLength(): number {
return Fuzzer.randomInt(1, 20);
}
}
|