test(json-crdt): 💍 add "upd_arr" operation to fuzz testing

Author: streamich

src/json-crdt/__tests__/fuzzer/Picker.ts

@@ -1,4 +1,4 @@
-import {DelOp, InsObjOp, InsStrOp, InsBinOp, InsArrOp} from '../../../json-crdt-patch/operations';
+import {DelOp, InsObjOp, InsStrOp, InsBinOp, InsArrOp, UpdArrOp} from '../../../json-crdt-patch/operations';
 import {RandomJson} from '@jsonjoy.com/util/lib/json-random';
 import type {JsonNode, ObjNode, ArrNode, BinNode, StrNode} from '../../nodes';
 import type {Model} from '../../model/Model';
@@ -7,7 +7,7 @@ import type {FuzzerOptions} from './types';
 
 type StringOp = typeof InsStrOp | typeof DelOp;
 type BinaryOp = typeof InsBinOp | typeof DelOp;
-type ArrayOp = typeof InsArrOp | typeof DelOp;
+type ArrayOp = typeof InsArrOp | typeof DelOp | typeof UpdArrOp;
 type ObjectOp = typeof InsObjOp | typeof DelOp;
 
 const commonKeys = ['a', 'op', 'test', 'name', '', '__proto__'];
@@ -56,6 +56,7 @@ export class Picker {
   public pickArrayOperation(node: ArrNode): ArrayOp {
     if (!node.length()) return InsArrOp;
     if (Math.random() > 0.45) return InsArrOp;
+    if (Math.random() > 0.45) return UpdArrOp;
     else return DelOp;
   }
 

src/json-crdt/__tests__/fuzzer/SessionLogical.ts

@@ -4,7 +4,7 @@ import {decode as decodeJson} from '../../../json-crdt-patch/codec/verbose/decod
 import {Decoder as BinaryDecoder} from '../../codec/structural/binary/Decoder';
 import {Decoder as CompactDecoder} from '../../codec/structural/compact/Decoder';
 import {Decoder as JsonDecoder} from '../../codec/structural/verbose/Decoder';
-import {DelOp, InsObjOp, InsStrOp, InsBinOp, InsArrOp} from '../../../json-crdt-patch/operations';
+import {DelOp, InsObjOp, InsStrOp, InsBinOp, InsArrOp, UpdArrOp} from '../../../json-crdt-patch/operations';
 import {encode as encodeCompact} from '../../../json-crdt-patch/codec/compact/encode';
 import {encode as encodeJson} from '../../../json-crdt-patch/codec/verbose/encode';
 import {Encoder as BinaryEncoder} from '../../codec/structural/binary/Encoder';
@@ -161,7 +161,7 @@ export class SessionLogical {
     const opcode = this.fuzzer.picker.pickArrayOperation(node);
     const builder = new PatchBuilder(model.clock);
     const length = node.length();
-    if (opcode === InsArrOp) {
+    if (!length || (opcode === InsArrOp)) {
       const json = RandomJson.generate({nodeCount: Math.ceil(Math.random() * 5)});
       const valueId = builder.json(json);
       if (!length) builder.insArr(node.id, node.id, [valueId]);
@@ -173,6 +173,14 @@ export class SessionLogical {
           builder.insArr(node.id, afterId, [valueId]);
         }
       }
+    } else if (opcode === UpdArrOp) {
+      const pos = Math.floor(Math.random() * length);
+      const keyId = node.find(pos);
+      if (keyId) {
+        const json = RandomJson.generate({nodeCount: Math.ceil(Math.random() * 5)});
+        const valueId = builder.json(json);
+        builder.updArr(node.id, keyId, valueId);
+      }
     } else {
       if (!length) return builder.patch;
       const pos = Math.floor(Math.random() * length);