@fluidframework/merge-tree 2.0.0-rc.1.0.3 → 2.0.0-rc.2.0.0

package/lib/test/obliterate.partialLength.spec.js

@@ -0,0 +1,272 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { strict as assert } from "assert";
+import { MergeTreeDeltaType } from "../ops.js";
+import { TestClient } from "./testClient.js";
+import { insertText, useStrictPartialLengthChecks, validatePartialLengths } from "./testUtils.js";
+describe("obliterate partial lengths", () => {
+    let client;
+    let refSeq;
+    const localClientId = 17;
+    const remoteClientId = 18;
+    useStrictPartialLengthChecks();
+    beforeEach(() => {
+        client = new TestClient({
+            mergeTreeEnableObliterate: true,
+        });
+        client.startOrUpdateCollaboration("local");
+        for (const char of "hello world") {
+            client.applyMsg(client.makeOpMessage(client.insertTextLocal(client.getLength(), char), client.getCurrentSeq() + 1));
+        }
+        assert.equal(client.getText(), "hello world");
+        refSeq = client.getCurrentSeq();
+    });
+    it("removes text", () => {
+        assert.equal(client.getText(), "hello world");
+        const localObliterateOp = client.obliterateRangeLocal(0, "hello world".length);
+        assert.equal(client.getText(), "");
+        validatePartialLengths(localClientId, client.mergeTree, [
+            { seq: refSeq, len: "hello world".length, localSeq: refSeq },
+            { seq: refSeq + 1, len: "".length, localSeq: refSeq + 1 },
+        ]);
+        client.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 1));
+        validatePartialLengths(remoteClientId, client.mergeTree, [
+            { seq: refSeq, len: "hello world".length },
+            { seq: refSeq + 1, len: "".length },
+        ]);
+    });
+    it("correctly applies local remove after local obliterate", () => {
+        const localObliterateOp = client.obliterateRangeLocal(0, "hello ".length);
+        const localRemoveOp = client.removeRangeLocal(0, "world".length);
+        validatePartialLengths(localClientId, client.mergeTree, [
+            { seq: refSeq, len: "hello world".length },
+            { seq: refSeq + 1, len: "world".length, localSeq: refSeq + 1 },
+            { seq: refSeq + 2, len: "".length, localSeq: refSeq + 2 },
+        ]);
+        client.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 1));
+        client.applyMsg(client.makeOpMessage(localRemoveOp, refSeq + 2));
+        validatePartialLengths(remoteClientId, client.mergeTree, [
+            { seq: refSeq, len: "hello world".length },
+            { seq: refSeq + 1, len: "world".length },
+            { seq: refSeq + 2, len: "".length },
+        ]);
+    });
+    it("is correct for different heights", () => {
+        client = new TestClient({
+            mergeTreeEnableObliterate: true,
+        });
+        client.startOrUpdateCollaboration("local");
+        for (let i = 0; i < 100; i++) {
+            insertText({
+                mergeTree: client.mergeTree,
+                pos: 0,
+                refSeq: i,
+                clientId: localClientId,
+                seq: i + 1,
+                text: "a",
+                props: undefined,
+                opArgs: { op: { type: MergeTreeDeltaType.INSERT } },
+            });
+            validatePartialLengths(localClientId, client.mergeTree, [{ seq: i + 1, len: i + 1 }]);
+            validatePartialLengths(remoteClientId, client.mergeTree, [{ seq: i + 1, len: i + 1 }]);
+            refSeq += 1;
+        }
+        const localObliterateOp = client.obliterateRangeLocal(50, 100);
+        validatePartialLengths(localClientId, client.mergeTree);
+        client.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 1));
+        validatePartialLengths(remoteClientId, client.mergeTree);
+    });
+    describe("overlapping remove+obliterate", () => {
+        it("passes for local remove and remote obliterate", () => {
+            const localRemoveOp = client.removeRangeLocal(0, "hello ".length);
+            client.obliterateRange({
+                start: 0,
+                end: "hello ".length,
+                refSeq,
+                clientId: remoteClientId,
+                seq: refSeq + 1,
+                overwrite: false,
+                opArgs: undefined,
+            });
+            validatePartialLengths(localClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length, localSeq: refSeq },
+                { seq: refSeq + 1, len: "world".length, localSeq: refSeq + 1 },
+            ]);
+            client.applyMsg(client.makeOpMessage(localRemoveOp, refSeq + 1));
+            validatePartialLengths(remoteClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "world".length, localSeq: refSeq + 1 },
+            ], refSeq);
+        });
+        it("passes for remote remove and local obliterate", () => {
+            client.removeRangeRemote(0, "hello ".length, refSeq + 1, refSeq, client.getLongClientId(remoteClientId));
+            const localObliterateOp = client.obliterateRangeLocal(0, "hello ".length);
+            validatePartialLengths(localClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length, localSeq: refSeq },
+                { seq: refSeq + 1, len: "world".length, localSeq: refSeq + 1 },
+                { seq: refSeq + 2, len: "world".length, localSeq: refSeq + 2 },
+            ]);
+            client.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));
+            validatePartialLengths(remoteClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "hello world".length },
+                { seq: refSeq + 2, len: "world".length },
+            ]);
+        });
+        it("passes for remote remove and remote obliterate", () => {
+            client.removeRangeRemote(0, "hello ".length, refSeq + 1, refSeq, client.getLongClientId(remoteClientId));
+            client.obliterateRange({
+                start: 0,
+                end: "hello ".length,
+                refSeq,
+                clientId: remoteClientId + 1,
+                seq: refSeq + 2,
+                overwrite: false,
+                opArgs: undefined,
+            });
+            validatePartialLengths(localClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "hello world".length },
+                { seq: refSeq + 2, len: "world".length },
+            ]);
+            validatePartialLengths(remoteClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "hello world".length },
+                { seq: refSeq + 2, len: "world".length },
+            ], 0);
+            validatePartialLengths(remoteClientId + 1, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "hello world".length },
+                { seq: refSeq + 2, len: "world".length },
+            ], 0);
+        });
+    });
+    describe("overlapping obliterate+obliterate", () => {
+        it("passes for local obliterate and remote obliterate", () => {
+            const localObliterateOp = client.obliterateRangeLocal(0, "hello ".length);
+            client.obliterateRange({
+                start: 0,
+                end: "hello ".length,
+                refSeq,
+                clientId: remoteClientId,
+                seq: refSeq + 1,
+                overwrite: false,
+                opArgs: undefined,
+            });
+            validatePartialLengths(localClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "world".length },
+                { seq: refSeq + 2, len: "world".length },
+            ]);
+            client.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));
+            validatePartialLengths(remoteClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "world".length, localSeq: refSeq + 1 },
+                { seq: refSeq + 2, len: "world".length, localSeq: refSeq + 2 },
+            ], refSeq);
+        });
+        it("passes for remote obliterate and local obliterate", () => {
+            client.obliterateRange({
+                start: 0,
+                end: "hello ".length,
+                refSeq,
+                clientId: remoteClientId,
+                seq: refSeq + 1,
+                overwrite: false,
+                opArgs: undefined,
+            });
+            const localObliterateOp = client.obliterateRangeLocal(0, "hello".length);
+            validatePartialLengths(localClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "world".length },
+                { seq: refSeq + 2, len: "world".length },
+            ]);
+            client.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));
+            validatePartialLengths(remoteClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length, localSeq: refSeq },
+                { seq: refSeq + 1, len: "world".length, localSeq: refSeq + 1 },
+                { seq: refSeq + 2, len: "".length, localSeq: refSeq + 2 },
+            ], refSeq);
+        });
+    });
+    describe("obliterate with concurrent inserts", () => {
+        it("obliterates when concurrent insert in middle of string", () => {
+            const localObliterateOp = client.obliterateRangeLocal(0, client.getLength());
+            insertText({
+                mergeTree: client.mergeTree,
+                pos: "hello".length,
+                refSeq,
+                clientId: remoteClientId,
+                seq: refSeq + 1,
+                text: "more ",
+                props: undefined,
+                opArgs: { op: { type: MergeTreeDeltaType.INSERT } },
+            });
+            assert.equal(client.getText(), "");
+            validatePartialLengths(localClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "hellomore  world".length },
+                { seq: refSeq + 1, len: "".length, localSeq: refSeq + 1 },
+            ]);
+            client.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));
+            validatePartialLengths(remoteClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "hellomore  world".length },
+                { seq: refSeq + 2, len: "".length, localSeq: refSeq + 2 },
+            ], refSeq);
+        });
+        it("obliterate does not affect concurrent insert at start of string", () => {
+            const localObliterateOp = client.obliterateRangeLocal(0, client.getLength());
+            insertText({
+                mergeTree: client.mergeTree,
+                pos: 0,
+                refSeq,
+                clientId: remoteClientId,
+                seq: refSeq + 1,
+                text: "more ",
+                props: undefined,
+                opArgs: { op: { type: MergeTreeDeltaType.INSERT } },
+            });
+            assert.equal(client.getText(), "more ");
+            validatePartialLengths(localClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "more hello world".length },
+                { seq: refSeq + 1, len: "more ".length, localSeq: refSeq + 1 },
+            ]);
+            client.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));
+            validatePartialLengths(remoteClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "more hello world".length },
+                { seq: refSeq + 2, len: "more ".length },
+            ], refSeq);
+        });
+        it("obliterate does not affect concurrent insert at end of string", () => {
+            const localObliterateOp = client.obliterateRangeLocal(0, client.getLength());
+            insertText({
+                mergeTree: client.mergeTree,
+                pos: "hello world".length,
+                refSeq,
+                clientId: remoteClientId,
+                seq: refSeq + 1,
+                text: "more ",
+                props: undefined,
+                opArgs: { op: { type: MergeTreeDeltaType.INSERT } },
+            });
+            assert.equal(client.getText(), "more ");
+            validatePartialLengths(localClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "hello worldmore ".length },
+                { seq: refSeq + 1, len: "more ".length, localSeq: refSeq + 1 },
+            ]);
+            client.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));
+            validatePartialLengths(remoteClientId, client.mergeTree, [
+                { seq: refSeq, len: "hello world".length },
+                { seq: refSeq + 1, len: "hello worldmore ".length },
+                { seq: refSeq + 2, len: "more ".length },
+            ], refSeq);
+        });
+    });
+});
+//# sourceMappingURL=obliterate.partialLength.spec.js.map

package/lib/test/obliterate.partialLength.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"obliterate.partialLength.spec.js","sourceRoot":"","sources":["../../src/test/obliterate.partialLength.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,4BAA4B,EAAE,sBAAsB,EAAE,MAAM,gBAAgB,CAAC;AAElG,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC3C,IAAI,MAAkB,CAAC;IACvB,IAAI,MAAc,CAAC;IACnB,MAAM,aAAa,GAAG,EAAE,CAAC;IACzB,MAAM,cAAc,GAAG,EAAE,CAAC;IAE1B,4BAA4B,EAAE,CAAC;IAE/B,UAAU,CAAC,GAAG,EAAE;QACf,MAAM,GAAG,IAAI,UAAU,CAAC;YACvB,yBAAyB,EAAE,IAAI;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC;QAC3C,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE;YACjC,MAAM,CAAC,QAAQ,CACd,MAAM,CAAC,aAAa,CACnB,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,IAAI,CAAC,EAChD,MAAM,CAAC,aAAa,EAAE,GAAG,CAAC,CAC1B,CACD,CAAC;SACF;QACD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,aAAa,CAAC,CAAC;QAC9C,MAAM,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,cAAc,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,aAAa,CAAC,CAAC;QAC9C,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;QAC/E,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QAEnC,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;YACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE;YAC5D,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;SACzD,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAErE,sBAAsB,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE;YACxD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;YAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE;SACnC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAChE,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC1E,MAAM,aAAa,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;QAEjE,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;YACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;YAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;YAC9D,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;SACzD,CAAC,CAAC;QAEH,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAEjE,sBAAsB,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE;YACxD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;YAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;YACxC,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE;SACnC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,IAAI,UAAU,CAAC;YACvB,yBAAyB,EAAE,IAAI;SAC/B,CAAC,CAAC;QACH,MAAM,CAAC,0BAA0B,CAAC,OAAO,CAAC,CAAC;QAE3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE;YAC7B,UAAU,CAAC;gBACV,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,GAAG,EAAE,CAAC;gBACN,MAAM,EAAE,CAAC;gBACT,QAAQ,EAAE,aAAa;gBACvB,GAAG,EAAE,CAAC,GAAG,CAAC;gBACV,IAAI,EAAE,GAAG;gBACT,KAAK,EAAE,SAAS;gBAChB,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,kBAAkB,CAAC,MAAM,EAAE,EAAE;aACnD,CAAC,CAAC;YAEH,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACtF,sBAAsB,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAEvF,MAAM,IAAI,CAAC,CAAC;SACZ;QAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAE/D,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;QAExD,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;QAErE,sBAAsB,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC9C,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACxD,MAAM,aAAa,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;YAClE,MAAM,CAAC,eAAe,CAAC;gBACtB,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,QAAQ,CAAC,MAAM;gBACpB,MAAM;gBACN,QAAQ,EAAE,cAAc;gBACxB,GAAG,EAAE,MAAM,GAAG,CAAC;gBACf,SAAS,EAAE,KAAK;gBAChB,MAAM,EAAE,SAAgB;aACxB,CAAC,CAAC;YAEH,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;gBACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE;gBAC5D,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;aAC9D,CAAC,CAAC;YAEH,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,aAAa,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAEjE,sBAAsB,CACrB,cAAc,EACd,MAAM,CAAC,SAAS,EAChB;gBACC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;aAC9D,EACD,MAAM,CACN,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACxD,MAAM,CAAC,iBAAiB,CACvB,CAAC,EACD,QAAQ,CAAC,MAAM,EACf,MAAM,GAAG,CAAC,EACV,MAAM,EACN,MAAM,CAAC,eAAe,CAAC,cAAc,CAAC,CACtC,CAAC;YACF,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;YAE1E,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;gBACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE;gBAC5D,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;gBAC9D,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;aAC9D,CAAC,CAAC;YAEH,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAErE,sBAAsB,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,EAAE;gBACxD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC9C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;aACxC,CAAC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACzD,MAAM,CAAC,iBAAiB,CACvB,CAAC,EACD,QAAQ,CAAC,MAAM,EACf,MAAM,GAAG,CAAC,EACV,MAAM,EACN,MAAM,CAAC,eAAe,CAAC,cAAc,CAAC,CACtC,CAAC;YACF,MAAM,CAAC,eAAe,CAAC;gBACtB,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,QAAQ,CAAC,MAAM;gBACpB,MAAM;gBACN,QAAQ,EAAE,cAAc,GAAG,CAAC;gBAC5B,GAAG,EAAE,MAAM,GAAG,CAAC;gBACf,SAAS,EAAE,KAAK;gBAChB,MAAM,EAAE,SAAgB;aACxB,CAAC,CAAC;YAEH,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;gBACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC9C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;aACxC,CAAC,CAAC;YACH,sBAAsB,CACrB,cAAc,EACd,MAAM,CAAC,SAAS,EAChB;gBACC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC9C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;aACxC,EACD,CAAC,CACD,CAAC;YACF,sBAAsB,CACrB,cAAc,GAAG,CAAC,EAClB,MAAM,CAAC,SAAS,EAChB;gBACC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC9C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;aACxC,EACD,CAAC,CACD,CAAC;QACH,CAAC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;QAClD,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC5D,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;YAC1E,MAAM,CAAC,eAAe,CAAC;gBACtB,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,QAAQ,CAAC,MAAM;gBACpB,MAAM;gBACN,QAAQ,EAAE,cAAc;gBACxB,GAAG,EAAE,MAAM,GAAG,CAAC;gBACf,SAAS,EAAE,KAAK;gBAChB,MAAM,EAAE,SAAgB;aACxB,CAAC,CAAC;YAEH,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;gBACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;gBACxC,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;aACxC,CAAC,CAAC;YAEH,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAErE,sBAAsB,CACrB,cAAc,EACd,MAAM,CAAC,SAAS,EAChB;gBACC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;gBAC9D,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;aAC9D,EACD,MAAM,CACN,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC5D,MAAM,CAAC,eAAe,CAAC;gBACtB,KAAK,EAAE,CAAC;gBACR,GAAG,EAAE,QAAQ,CAAC,MAAM;gBACpB,MAAM;gBACN,QAAQ,EAAE,cAAc;gBACxB,GAAG,EAAE,MAAM,GAAG,CAAC;gBACf,SAAS,EAAE,KAAK;gBAChB,MAAM,EAAE,SAAgB;aACxB,CAAC,CAAC;YACH,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC;YAEzE,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;gBACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;gBACxC,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;aACxC,CAAC,CAAC;YAEH,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAErE,sBAAsB,CACrB,cAAc,EACd,MAAM,CAAC,SAAS,EAChB;gBACC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE;gBAC5D,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;gBAC9D,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;aACzD,EACD,MAAM,CACN,CAAC;QACH,CAAC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oCAAoC,EAAE,GAAG,EAAE;QACnD,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YACjE,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;YAC7E,UAAU,CAAC;gBACV,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,GAAG,EAAE,OAAO,CAAC,MAAM;gBACnB,MAAM;gBACN,QAAQ,EAAE,cAAc;gBACxB,GAAG,EAAE,MAAM,GAAG,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,SAAS;gBAChB,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,kBAAkB,CAAC,MAAM,EAAE,EAAE;aACnD,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAEnC,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;gBACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,kBAAkB,CAAC,MAAM,EAAE;gBACnD,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;aACzD,CAAC,CAAC;YAEH,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAErE,sBAAsB,CACrB,cAAc,EACd,MAAM,CAAC,SAAS,EAChB;gBACC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,kBAAkB,CAAC,MAAM,EAAE;gBACnD,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;aACzD,EACD,MAAM,CACN,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YAC1E,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;YAC7E,UAAU,CAAC;gBACV,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,GAAG,EAAE,CAAC;gBACN,MAAM;gBACN,QAAQ,EAAE,cAAc;gBACxB,GAAG,EAAE,MAAM,GAAG,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,SAAS;gBAChB,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,kBAAkB,CAAC,MAAM,EAAE,EAAE;aACnD,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,OAAO,CAAC,CAAC;YAExC,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;gBACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,kBAAkB,CAAC,MAAM,EAAE;gBACnD,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;aAC9D,CAAC,CAAC;YAEH,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAErE,sBAAsB,CACrB,cAAc,EACd,MAAM,CAAC,SAAS,EAChB;gBACC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,kBAAkB,CAAC,MAAM,EAAE;gBACnD,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;aACxC,EACD,MAAM,CACN,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACxE,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC;YAC7E,UAAU,CAAC;gBACV,SAAS,EAAE,MAAM,CAAC,SAAS;gBAC3B,GAAG,EAAE,aAAa,CAAC,MAAM;gBACzB,MAAM;gBACN,QAAQ,EAAE,cAAc;gBACxB,GAAG,EAAE,MAAM,GAAG,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,SAAS;gBAChB,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,kBAAkB,CAAC,MAAM,EAAE,EAAE;aACnD,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,OAAO,CAAC,CAAC;YAExC,sBAAsB,CAAC,aAAa,EAAE,MAAM,CAAC,SAAS,EAAE;gBACvD,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,kBAAkB,CAAC,MAAM,EAAE;gBACnD,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,CAAC,EAAE;aAC9D,CAAC,CAAC;YAEH,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,iBAAiB,EAAE,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAErE,sBAAsB,CACrB,cAAc,EACd,MAAM,CAAC,SAAS,EAChB;gBACC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,aAAa,CAAC,MAAM,EAAE;gBAC1C,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,kBAAkB,CAAC,MAAM,EAAE;gBACnD,EAAE,GAAG,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE;aACxC,EACD,MAAM,CACN,CAAC;QACH,CAAC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;AACJ,CAAC,CAAC,CAAC","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { strict as assert } from \"assert\";\nimport { MergeTreeDeltaType } from \"../ops.js\";\nimport { TestClient } from \"./testClient.js\";\nimport { insertText, useStrictPartialLengthChecks, validatePartialLengths } from \"./testUtils.js\";\n\ndescribe(\"obliterate partial lengths\", () => {\n\tlet client: TestClient;\n\tlet refSeq: number;\n\tconst localClientId = 17;\n\tconst remoteClientId = 18;\n\n\tuseStrictPartialLengthChecks();\n\n\tbeforeEach(() => {\n\t\tclient = new TestClient({\n\t\t\tmergeTreeEnableObliterate: true,\n\t\t});\n\t\tclient.startOrUpdateCollaboration(\"local\");\n\t\tfor (const char of \"hello world\") {\n\t\t\tclient.applyMsg(\n\t\t\t\tclient.makeOpMessage(\n\t\t\t\t\tclient.insertTextLocal(client.getLength(), char),\n\t\t\t\t\tclient.getCurrentSeq() + 1,\n\t\t\t\t),\n\t\t\t);\n\t\t}\n\t\tassert.equal(client.getText(), \"hello world\");\n\t\trefSeq = client.getCurrentSeq();\n\t});\n\n\tit(\"removes text\", () => {\n\t\tassert.equal(client.getText(), \"hello world\");\n\t\tconst localObliterateOp = client.obliterateRangeLocal(0, \"hello world\".length);\n\t\tassert.equal(client.getText(), \"\");\n\n\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t{ seq: refSeq, len: \"hello world\".length, localSeq: refSeq },\n\t\t\t{ seq: refSeq + 1, len: \"\".length, localSeq: refSeq + 1 },\n\t\t]);\n\n\t\tclient.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 1));\n\n\t\tvalidatePartialLengths(remoteClientId, client.mergeTree, [\n\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t{ seq: refSeq + 1, len: \"\".length },\n\t\t]);\n\t});\n\n\tit(\"correctly applies local remove after local obliterate\", () => {\n\t\tconst localObliterateOp = client.obliterateRangeLocal(0, \"hello \".length);\n\t\tconst localRemoveOp = client.removeRangeLocal(0, \"world\".length);\n\n\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t{ seq: refSeq + 1, len: \"world\".length, localSeq: refSeq + 1 },\n\t\t\t{ seq: refSeq + 2, len: \"\".length, localSeq: refSeq + 2 },\n\t\t]);\n\n\t\tclient.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 1));\n\t\tclient.applyMsg(client.makeOpMessage(localRemoveOp, refSeq + 2));\n\n\t\tvalidatePartialLengths(remoteClientId, client.mergeTree, [\n\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t{ seq: refSeq + 1, len: \"world\".length },\n\t\t\t{ seq: refSeq + 2, len: \"\".length },\n\t\t]);\n\t});\n\n\tit(\"is correct for different heights\", () => {\n\t\tclient = new TestClient({\n\t\t\tmergeTreeEnableObliterate: true,\n\t\t});\n\t\tclient.startOrUpdateCollaboration(\"local\");\n\n\t\tfor (let i = 0; i < 100; i++) {\n\t\t\tinsertText({\n\t\t\t\tmergeTree: client.mergeTree,\n\t\t\t\tpos: 0,\n\t\t\t\trefSeq: i,\n\t\t\t\tclientId: localClientId,\n\t\t\t\tseq: i + 1,\n\t\t\t\ttext: \"a\",\n\t\t\t\tprops: undefined,\n\t\t\t\topArgs: { op: { type: MergeTreeDeltaType.INSERT } },\n\t\t\t});\n\n\t\t\tvalidatePartialLengths(localClientId, client.mergeTree, [{ seq: i + 1, len: i + 1 }]);\n\t\t\tvalidatePartialLengths(remoteClientId, client.mergeTree, [{ seq: i + 1, len: i + 1 }]);\n\n\t\t\trefSeq += 1;\n\t\t}\n\n\t\tconst localObliterateOp = client.obliterateRangeLocal(50, 100);\n\n\t\tvalidatePartialLengths(localClientId, client.mergeTree);\n\n\t\tclient.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 1));\n\n\t\tvalidatePartialLengths(remoteClientId, client.mergeTree);\n\t});\n\n\tdescribe(\"overlapping remove+obliterate\", () => {\n\t\tit(\"passes for local remove and remote obliterate\", () => {\n\t\t\tconst localRemoveOp = client.removeRangeLocal(0, \"hello \".length);\n\t\t\tclient.obliterateRange({\n\t\t\t\tstart: 0,\n\t\t\t\tend: \"hello \".length,\n\t\t\t\trefSeq,\n\t\t\t\tclientId: remoteClientId,\n\t\t\t\tseq: refSeq + 1,\n\t\t\t\toverwrite: false,\n\t\t\t\topArgs: undefined as any,\n\t\t\t});\n\n\t\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t\t{ seq: refSeq, len: \"hello world\".length, localSeq: refSeq },\n\t\t\t\t{ seq: refSeq + 1, len: \"world\".length, localSeq: refSeq + 1 },\n\t\t\t]);\n\n\t\t\tclient.applyMsg(client.makeOpMessage(localRemoveOp, refSeq + 1));\n\n\t\t\tvalidatePartialLengths(\n\t\t\t\tremoteClientId,\n\t\t\t\tclient.mergeTree,\n\t\t\t\t[\n\t\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 1, len: \"world\".length, localSeq: refSeq + 1 },\n\t\t\t\t],\n\t\t\t\trefSeq,\n\t\t\t);\n\t\t});\n\n\t\tit(\"passes for remote remove and local obliterate\", () => {\n\t\t\tclient.removeRangeRemote(\n\t\t\t\t0,\n\t\t\t\t\"hello \".length,\n\t\t\t\trefSeq + 1,\n\t\t\t\trefSeq,\n\t\t\t\tclient.getLongClientId(remoteClientId),\n\t\t\t);\n\t\t\tconst localObliterateOp = client.obliterateRangeLocal(0, \"hello \".length);\n\n\t\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t\t{ seq: refSeq, len: \"hello world\".length, localSeq: refSeq },\n\t\t\t\t{ seq: refSeq + 1, len: \"world\".length, localSeq: refSeq + 1 },\n\t\t\t\t{ seq: refSeq + 2, len: \"world\".length, localSeq: refSeq + 2 },\n\t\t\t]);\n\n\t\t\tclient.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));\n\n\t\t\tvalidatePartialLengths(remoteClientId, client.mergeTree, [\n\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"hello world\".length },\n\t\t\t\t{ seq: refSeq + 2, len: \"world\".length },\n\t\t\t]);\n\t\t});\n\n\t\tit(\"passes for remote remove and remote obliterate\", () => {\n\t\t\tclient.removeRangeRemote(\n\t\t\t\t0,\n\t\t\t\t\"hello \".length,\n\t\t\t\trefSeq + 1,\n\t\t\t\trefSeq,\n\t\t\t\tclient.getLongClientId(remoteClientId),\n\t\t\t);\n\t\t\tclient.obliterateRange({\n\t\t\t\tstart: 0,\n\t\t\t\tend: \"hello \".length,\n\t\t\t\trefSeq,\n\t\t\t\tclientId: remoteClientId + 1,\n\t\t\t\tseq: refSeq + 2,\n\t\t\t\toverwrite: false,\n\t\t\t\topArgs: undefined as any,\n\t\t\t});\n\n\t\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"hello world\".length },\n\t\t\t\t{ seq: refSeq + 2, len: \"world\".length },\n\t\t\t]);\n\t\t\tvalidatePartialLengths(\n\t\t\t\tremoteClientId,\n\t\t\t\tclient.mergeTree,\n\t\t\t\t[\n\t\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 1, len: \"hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 2, len: \"world\".length },\n\t\t\t\t],\n\t\t\t\t0,\n\t\t\t);\n\t\t\tvalidatePartialLengths(\n\t\t\t\tremoteClientId + 1,\n\t\t\t\tclient.mergeTree,\n\t\t\t\t[\n\t\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 1, len: \"hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 2, len: \"world\".length },\n\t\t\t\t],\n\t\t\t\t0,\n\t\t\t);\n\t\t});\n\t});\n\n\tdescribe(\"overlapping obliterate+obliterate\", () => {\n\t\tit(\"passes for local obliterate and remote obliterate\", () => {\n\t\t\tconst localObliterateOp = client.obliterateRangeLocal(0, \"hello \".length);\n\t\t\tclient.obliterateRange({\n\t\t\t\tstart: 0,\n\t\t\t\tend: \"hello \".length,\n\t\t\t\trefSeq,\n\t\t\t\tclientId: remoteClientId,\n\t\t\t\tseq: refSeq + 1,\n\t\t\t\toverwrite: false,\n\t\t\t\topArgs: undefined as any,\n\t\t\t});\n\n\t\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"world\".length },\n\t\t\t\t{ seq: refSeq + 2, len: \"world\".length },\n\t\t\t]);\n\n\t\t\tclient.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));\n\n\t\t\tvalidatePartialLengths(\n\t\t\t\tremoteClientId,\n\t\t\t\tclient.mergeTree,\n\t\t\t\t[\n\t\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 1, len: \"world\".length, localSeq: refSeq + 1 },\n\t\t\t\t\t{ seq: refSeq + 2, len: \"world\".length, localSeq: refSeq + 2 },\n\t\t\t\t],\n\t\t\t\trefSeq,\n\t\t\t);\n\t\t});\n\n\t\tit(\"passes for remote obliterate and local obliterate\", () => {\n\t\t\tclient.obliterateRange({\n\t\t\t\tstart: 0,\n\t\t\t\tend: \"hello \".length,\n\t\t\t\trefSeq,\n\t\t\t\tclientId: remoteClientId,\n\t\t\t\tseq: refSeq + 1,\n\t\t\t\toverwrite: false,\n\t\t\t\topArgs: undefined as any,\n\t\t\t});\n\t\t\tconst localObliterateOp = client.obliterateRangeLocal(0, \"hello\".length);\n\n\t\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"world\".length },\n\t\t\t\t{ seq: refSeq + 2, len: \"world\".length },\n\t\t\t]);\n\n\t\t\tclient.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));\n\n\t\t\tvalidatePartialLengths(\n\t\t\t\tremoteClientId,\n\t\t\t\tclient.mergeTree,\n\t\t\t\t[\n\t\t\t\t\t{ seq: refSeq, len: \"hello world\".length, localSeq: refSeq },\n\t\t\t\t\t{ seq: refSeq + 1, len: \"world\".length, localSeq: refSeq + 1 },\n\t\t\t\t\t{ seq: refSeq + 2, len: \"\".length, localSeq: refSeq + 2 },\n\t\t\t\t],\n\t\t\t\trefSeq,\n\t\t\t);\n\t\t});\n\t});\n\n\tdescribe(\"obliterate with concurrent inserts\", () => {\n\t\tit(\"obliterates when concurrent insert in middle of string\", () => {\n\t\t\tconst localObliterateOp = client.obliterateRangeLocal(0, client.getLength());\n\t\t\tinsertText({\n\t\t\t\tmergeTree: client.mergeTree,\n\t\t\t\tpos: \"hello\".length,\n\t\t\t\trefSeq,\n\t\t\t\tclientId: remoteClientId,\n\t\t\t\tseq: refSeq + 1,\n\t\t\t\ttext: \"more \",\n\t\t\t\tprops: undefined,\n\t\t\t\topArgs: { op: { type: MergeTreeDeltaType.INSERT } },\n\t\t\t});\n\t\t\tassert.equal(client.getText(), \"\");\n\n\t\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"hellomore  world\".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"\".length, localSeq: refSeq + 1 },\n\t\t\t]);\n\n\t\t\tclient.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));\n\n\t\t\tvalidatePartialLengths(\n\t\t\t\tremoteClientId,\n\t\t\t\tclient.mergeTree,\n\t\t\t\t[\n\t\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 1, len: \"hellomore  world\".length },\n\t\t\t\t\t{ seq: refSeq + 2, len: \"\".length, localSeq: refSeq + 2 },\n\t\t\t\t],\n\t\t\t\trefSeq,\n\t\t\t);\n\t\t});\n\n\t\tit(\"obliterate does not affect concurrent insert at start of string\", () => {\n\t\t\tconst localObliterateOp = client.obliterateRangeLocal(0, client.getLength());\n\t\t\tinsertText({\n\t\t\t\tmergeTree: client.mergeTree,\n\t\t\t\tpos: 0,\n\t\t\t\trefSeq,\n\t\t\t\tclientId: remoteClientId,\n\t\t\t\tseq: refSeq + 1,\n\t\t\t\ttext: \"more \",\n\t\t\t\tprops: undefined,\n\t\t\t\topArgs: { op: { type: MergeTreeDeltaType.INSERT } },\n\t\t\t});\n\t\t\tassert.equal(client.getText(), \"more \");\n\n\t\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"more hello world\".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"more \".length, localSeq: refSeq + 1 },\n\t\t\t]);\n\n\t\t\tclient.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));\n\n\t\t\tvalidatePartialLengths(\n\t\t\t\tremoteClientId,\n\t\t\t\tclient.mergeTree,\n\t\t\t\t[\n\t\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 1, len: \"more hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 2, len: \"more \".length },\n\t\t\t\t],\n\t\t\t\trefSeq,\n\t\t\t);\n\t\t});\n\n\t\tit(\"obliterate does not affect concurrent insert at end of string\", () => {\n\t\t\tconst localObliterateOp = client.obliterateRangeLocal(0, client.getLength());\n\t\t\tinsertText({\n\t\t\t\tmergeTree: client.mergeTree,\n\t\t\t\tpos: \"hello world\".length,\n\t\t\t\trefSeq,\n\t\t\t\tclientId: remoteClientId,\n\t\t\t\tseq: refSeq + 1,\n\t\t\t\ttext: \"more \",\n\t\t\t\tprops: undefined,\n\t\t\t\topArgs: { op: { type: MergeTreeDeltaType.INSERT } },\n\t\t\t});\n\t\t\tassert.equal(client.getText(), \"more \");\n\n\t\t\tvalidatePartialLengths(localClientId, client.mergeTree, [\n\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"hello worldmore \".length },\n\t\t\t\t{ seq: refSeq + 1, len: \"more \".length, localSeq: refSeq + 1 },\n\t\t\t]);\n\n\t\t\tclient.applyMsg(client.makeOpMessage(localObliterateOp, refSeq + 2));\n\n\t\t\tvalidatePartialLengths(\n\t\t\t\tremoteClientId,\n\t\t\t\tclient.mergeTree,\n\t\t\t\t[\n\t\t\t\t\t{ seq: refSeq, len: \"hello world\".length },\n\t\t\t\t\t{ seq: refSeq + 1, len: \"hello worldmore \".length },\n\t\t\t\t\t{ seq: refSeq + 2, len: \"more \".length },\n\t\t\t\t],\n\t\t\t\trefSeq,\n\t\t\t);\n\t\t});\n\t});\n});\n"]}

package/lib/test/obliterate.reconnect.spec.d.ts

@@ -0,0 +1,6 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+export {};
+//# sourceMappingURL=obliterate.reconnect.spec.d.ts.map

package/lib/test/obliterate.reconnect.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"obliterate.reconnect.spec.d.ts","sourceRoot":"","sources":["../../src/test/obliterate.reconnect.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/lib/test/obliterate.reconnect.spec.js

@@ -0,0 +1,159 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+import { strict as assert } from "assert";
+import { MergeTree } from "../mergeTree.js";
+import { ReconnectTestHelper } from "./reconnectHelper.js";
+import { useStrictPartialLengthChecks } from "./testUtils.js";
+for (const incremental of [true, false]) {
+    describe(`obliterate partial lengths incremental = ${incremental}`, () => {
+        useStrictPartialLengthChecks();
+        beforeEach(() => {
+            MergeTree.options.incrementalUpdate = incremental;
+        });
+        afterEach(() => {
+            MergeTree.options.incrementalUpdate = true;
+        });
+        it("obliterate does not expand during rebase", () => {
+            const helper = new ReconnectTestHelper();
+            helper.insertText("B", 0, "ABCD");
+            helper.processAllOps();
+            helper.removeRange("B", 0, 3);
+            helper.disconnect(["C"]);
+            const cOp = helper.obliterateRangeLocal("C", 0, 1);
+            helper.reconnect(["C"]);
+            helper.submitDisconnectedOp("C", cOp);
+            helper.processAllOps();
+            assert.equal(helper.clients.A.getText(), "D");
+            helper.logger.validate();
+        });
+        it("does not delete reconnected insert into obliterate range if insert is rebased", () => {
+            const helper = new ReconnectTestHelper();
+            helper.insertText("B", 0, "ABCD");
+            helper.processAllOps();
+            helper.obliterateRange("B", 0, 3);
+            helper.disconnect(["C"]);
+            const cOp = helper.insertTextLocal("C", 2, "aaa");
+            helper.reconnect(["C"]);
+            helper.submitDisconnectedOp("C", cOp);
+            helper.processAllOps();
+            assert.equal(helper.clients.A.getText(), "aaaD");
+            assert.equal(helper.clients.C.getText(), "aaaD");
+            helper.logger.validate();
+        });
+        it("deletes reconnected insert into obliterate range when entire string deleted if rebased", () => {
+            const helper = new ReconnectTestHelper();
+            helper.insertText("B", 0, "ABCD");
+            helper.processAllOps();
+            helper.obliterateRange("B", 0, 4);
+            helper.disconnect(["C"]);
+            const cOp = helper.insertTextLocal("C", 2, "aaa");
+            helper.reconnect(["C"]);
+            helper.submitDisconnectedOp("C", cOp);
+            helper.processAllOps();
+            assert.equal(helper.clients.A.getText(), "aaa");
+            assert.equal(helper.clients.C.getText(), "aaa");
+            helper.logger.validate();
+        });
+        it("obliterates local segment while disconnected", () => {
+            const helper = new ReconnectTestHelper();
+            // [C]-D-(E)-F-H-G-B-A
+            helper.insertText("B", 0, "A");
+            helper.disconnect(["C"]);
+            const op0 = helper.insertTextLocal("C", 0, "B");
+            const op1 = helper.insertTextLocal("C", 0, "CDEFG");
+            const op2 = helper.removeRangeLocal("C", 0, 1);
+            const op3 = helper.obliterateRangeLocal("C", 1, 2);
+            const op4 = helper.insertTextLocal("C", 2, "H");
+            helper.reconnect(["C"]);
+            helper.submitDisconnectedOp("C", op0);
+            helper.submitDisconnectedOp("C", op1);
+            helper.submitDisconnectedOp("C", op2);
+            helper.submitDisconnectedOp("C", op3);
+            helper.submitDisconnectedOp("C", op4);
+            helper.processAllOps();
+            assert.equal(helper.clients.A.getText(), "DFHGBA");
+            helper.logger.validate();
+        });
+        it("deletes concurrently inserted segment between separated group ops", () => {
+            const helper = new ReconnectTestHelper();
+            // B-A
+            // (B-C-A)
+            helper.insertText("A", 0, "A");
+            helper.insertText("A", 0, "B");
+            helper.processAllOps();
+            helper.logger.validate();
+            helper.insertText("A", 1, "C");
+            helper.disconnect(["B"]);
+            const op = helper.obliterateRangeLocal("B", 0, 2);
+            helper.reconnect(["B"]);
+            helper.submitDisconnectedOp("B", op);
+            helper.processAllOps();
+            assert.equal(helper.clients.A.getText(), "");
+            helper.logger.validate();
+        });
+        it("removes correct number of pending segments", () => {
+            const helper = new ReconnectTestHelper();
+            // (BC)-[A]
+            const op0 = helper.insertTextLocal("A", 0, "A");
+            const op1 = helper.insertTextLocal("A", 1, "BC");
+            const op2 = helper.obliterateRangeLocal("A", 0, 2);
+            helper.submitDisconnectedOp("A", op0);
+            helper.submitDisconnectedOp("A", op1);
+            helper.submitDisconnectedOp("A", op2);
+            helper.removeRange("A", 0, 1);
+            helper.processAllOps();
+            assert.equal(helper.clients.A.getText(), "");
+            helper.logger.validate();
+        });
+        it("doesn't do obliterate ack traversal when starting segment has been acked", () => {
+            const helper = new ReconnectTestHelper();
+            // AB
+            // (E)-[F]-(G-D-(C-A)-B)
+            helper.insertText("B", 0, "AB");
+            helper.processAllOps();
+            helper.logger.validate();
+            const op0 = helper.insertTextLocal("A", 0, "C");
+            const op1 = helper.obliterateRangeLocal("A", 0, 2);
+            helper.submitDisconnectedOp("A", op0);
+            helper.submitDisconnectedOp("A", op1);
+            helper.insertText("B", 0, "D");
+            helper.insertText("A", 0, "EFG");
+            helper.obliterateRange("A", 0, 1);
+            helper.removeRange("A", 0, 1);
+            helper.obliterateRange("A", 0, 2);
+            helper.processAllOps();
+            assert.equal(helper.clients.A.getText(), "");
+            helper.logger.validate();
+        });
+        it("does not delete reconnected insert at start of obliterate range if rebased", () => {
+            const helper = new ReconnectTestHelper();
+            helper.insertText("B", 0, "ABCD");
+            helper.processAllOps();
+            helper.obliterateRange("B", 0, 3);
+            helper.disconnect(["C"]);
+            const cOp = helper.insertTextLocal("C", 0, "aaa");
+            helper.reconnect(["C"]);
+            helper.submitDisconnectedOp("C", cOp);
+            helper.processAllOps();
+            assert.equal(helper.clients.A.getText(), "aaaD");
+            assert.equal(helper.clients.C.getText(), "aaaD");
+            helper.logger.validate();
+        });
+        it("does not delete reconnected insert at end of obliterate range", () => {
+            const helper = new ReconnectTestHelper();
+            helper.insertText("B", 0, "ABCD");
+            helper.processAllOps();
+            helper.obliterateRange("B", 0, 3);
+            helper.disconnect(["C"]);
+            const cOp = helper.insertTextLocal("C", 3, "aaa");
+            helper.reconnect(["C"]);
+            helper.submitDisconnectedOp("C", cOp);
+            helper.processAllOps();
+            assert.equal(helper.clients.A.getText(), "aaaD");
+            helper.logger.validate();
+        });
+    });
+}
+//# sourceMappingURL=obliterate.reconnect.spec.js.map

package/lib/test/obliterate.reconnect.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"obliterate.reconnect.spec.js","sourceRoot":"","sources":["../../src/test/obliterate.reconnect.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,EAAE,4BAA4B,EAAE,MAAM,gBAAgB,CAAC;AAE9D,KAAK,MAAM,WAAW,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE;IACxC,QAAQ,CAAC,4CAA4C,WAAW,EAAE,EAAE,GAAG,EAAE;QACxE,4BAA4B,EAAE,CAAC;QAE/B,UAAU,CAAC,GAAG,EAAE;YACf,SAAS,CAAC,OAAO,CAAC,iBAAiB,GAAG,WAAW,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,SAAS,CAAC,GAAG,EAAE;YACd,SAAS,CAAC,OAAO,CAAC,iBAAiB,GAAG,IAAI,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YAEzC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAClC,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,aAAa,EAAE,CAAC;YAEvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,GAAG,CAAC,CAAC;YAE9C,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;YACxF,MAAM,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YAEzC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAClC,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,aAAa,EAAE,CAAC;YAEvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC;YACjD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC;YAEjD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wFAAwF,EAAE,GAAG,EAAE;YACjG,MAAM,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YAEzC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAClC,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,aAAa,EAAE,CAAC;YAEvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,CAAC;YAChD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,CAAC;YAEhD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YAEzC,sBAAsB;YAEtB,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAE/B,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAChD,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC;YACpD,MAAM,GAAG,GAAG,MAAM,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/C,MAAM,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACnD,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAEhD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAEtC,MAAM,CAAC,aAAa,EAAE,CAAC;YAEvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,QAAQ,CAAC,CAAC;YAEnD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mEAAmE,EAAE,GAAG,EAAE;YAC5E,MAAM,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YAEzC,MAAM;YACN,UAAU;YAEV,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACzB,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAE/B,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,MAAM,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAErC,MAAM,CAAC,aAAa,EAAE,CAAC;YAEvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YAEzC,WAAW;YAEX,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAChD,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACjD,MAAM,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAEnD,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAEtC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAE9B,MAAM,CAAC,aAAa,EAAE,CAAC;YAEvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YACnF,MAAM,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YAEzC,KAAK;YACL,wBAAwB;YAExB,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YAChC,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YAEzB,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAChD,MAAM,GAAG,GAAG,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YAEtC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;YAC/B,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YACjC,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,aAAa,EAAE,CAAC;YAEvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;YAE7C,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4EAA4E,EAAE,GAAG,EAAE;YACrF,MAAM,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YAEzC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAClC,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,aAAa,EAAE,CAAC;YAEvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC;YACjD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC;YAEjD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACxE,MAAM,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;YAEzC,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAClC,MAAM,CAAC,aAAa,EAAE,CAAC;YACvB,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YAClC,MAAM,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACzB,MAAM,GAAG,GAAG,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;YAClD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACtC,MAAM,CAAC,aAAa,EAAE,CAAC;YAEvB,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,EAAE,MAAM,CAAC,CAAC;YAEjD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC1B,CAAC,CAAC,CAAC;IACJ,CAAC,CAAC,CAAC;CACH","sourcesContent":["/*!\n * Copyright (c) Microsoft Corporation and contributors. All rights reserved.\n * Licensed under the MIT License.\n */\n\nimport { strict as assert } from \"assert\";\nimport { MergeTree } from \"../mergeTree.js\";\nimport { ReconnectTestHelper } from \"./reconnectHelper.js\";\nimport { useStrictPartialLengthChecks } from \"./testUtils.js\";\n\nfor (const incremental of [true, false]) {\n\tdescribe(`obliterate partial lengths incremental = ${incremental}`, () => {\n\t\tuseStrictPartialLengthChecks();\n\n\t\tbeforeEach(() => {\n\t\t\tMergeTree.options.incrementalUpdate = incremental;\n\t\t});\n\n\t\tafterEach(() => {\n\t\t\tMergeTree.options.incrementalUpdate = true;\n\t\t});\n\n\t\tit(\"obliterate does not expand during rebase\", () => {\n\t\t\tconst helper = new ReconnectTestHelper();\n\n\t\t\thelper.insertText(\"B\", 0, \"ABCD\");\n\t\t\thelper.processAllOps();\n\t\t\thelper.removeRange(\"B\", 0, 3);\n\t\t\thelper.disconnect([\"C\"]);\n\t\t\tconst cOp = helper.obliterateRangeLocal(\"C\", 0, 1);\n\t\t\thelper.reconnect([\"C\"]);\n\t\t\thelper.submitDisconnectedOp(\"C\", cOp);\n\t\t\thelper.processAllOps();\n\n\t\t\tassert.equal(helper.clients.A.getText(), \"D\");\n\n\t\t\thelper.logger.validate();\n\t\t});\n\n\t\tit(\"does not delete reconnected insert into obliterate range if insert is rebased\", () => {\n\t\t\tconst helper = new ReconnectTestHelper();\n\n\t\t\thelper.insertText(\"B\", 0, \"ABCD\");\n\t\t\thelper.processAllOps();\n\t\t\thelper.obliterateRange(\"B\", 0, 3);\n\t\t\thelper.disconnect([\"C\"]);\n\t\t\tconst cOp = helper.insertTextLocal(\"C\", 2, \"aaa\");\n\t\t\thelper.reconnect([\"C\"]);\n\t\t\thelper.submitDisconnectedOp(\"C\", cOp);\n\t\t\thelper.processAllOps();\n\n\t\t\tassert.equal(helper.clients.A.getText(), \"aaaD\");\n\t\t\tassert.equal(helper.clients.C.getText(), \"aaaD\");\n\n\t\t\thelper.logger.validate();\n\t\t});\n\n\t\tit(\"deletes reconnected insert into obliterate range when entire string deleted if rebased\", () => {\n\t\t\tconst helper = new ReconnectTestHelper();\n\n\t\t\thelper.insertText(\"B\", 0, \"ABCD\");\n\t\t\thelper.processAllOps();\n\t\t\thelper.obliterateRange(\"B\", 0, 4);\n\t\t\thelper.disconnect([\"C\"]);\n\t\t\tconst cOp = helper.insertTextLocal(\"C\", 2, \"aaa\");\n\t\t\thelper.reconnect([\"C\"]);\n\t\t\thelper.submitDisconnectedOp(\"C\", cOp);\n\t\t\thelper.processAllOps();\n\n\t\t\tassert.equal(helper.clients.A.getText(), \"aaa\");\n\t\t\tassert.equal(helper.clients.C.getText(), \"aaa\");\n\n\t\t\thelper.logger.validate();\n\t\t});\n\n\t\tit(\"obliterates local segment while disconnected\", () => {\n\t\t\tconst helper = new ReconnectTestHelper();\n\n\t\t\t// [C]-D-(E)-F-H-G-B-A\n\n\t\t\thelper.insertText(\"B\", 0, \"A\");\n\n\t\t\thelper.disconnect([\"C\"]);\n\t\t\tconst op0 = helper.insertTextLocal(\"C\", 0, \"B\");\n\t\t\tconst op1 = helper.insertTextLocal(\"C\", 0, \"CDEFG\");\n\t\t\tconst op2 = helper.removeRangeLocal(\"C\", 0, 1);\n\t\t\tconst op3 = helper.obliterateRangeLocal(\"C\", 1, 2);\n\t\t\tconst op4 = helper.insertTextLocal(\"C\", 2, \"H\");\n\n\t\t\thelper.reconnect([\"C\"]);\n\t\t\thelper.submitDisconnectedOp(\"C\", op0);\n\t\t\thelper.submitDisconnectedOp(\"C\", op1);\n\t\t\thelper.submitDisconnectedOp(\"C\", op2);\n\t\t\thelper.submitDisconnectedOp(\"C\", op3);\n\t\t\thelper.submitDisconnectedOp(\"C\", op4);\n\n\t\t\thelper.processAllOps();\n\n\t\t\tassert.equal(helper.clients.A.getText(), \"DFHGBA\");\n\n\t\t\thelper.logger.validate();\n\t\t});\n\n\t\tit(\"deletes concurrently inserted segment between separated group ops\", () => {\n\t\t\tconst helper = new ReconnectTestHelper();\n\n\t\t\t// B-A\n\t\t\t// (B-C-A)\n\n\t\t\thelper.insertText(\"A\", 0, \"A\");\n\t\t\thelper.insertText(\"A\", 0, \"B\");\n\t\t\thelper.processAllOps();\n\t\t\thelper.logger.validate();\n\t\t\thelper.insertText(\"A\", 1, \"C\");\n\n\t\t\thelper.disconnect([\"B\"]);\n\t\t\tconst op = helper.obliterateRangeLocal(\"B\", 0, 2);\n\t\t\thelper.reconnect([\"B\"]);\n\t\t\thelper.submitDisconnectedOp(\"B\", op);\n\n\t\t\thelper.processAllOps();\n\n\t\t\tassert.equal(helper.clients.A.getText(), \"\");\n\n\t\t\thelper.logger.validate();\n\t\t});\n\n\t\tit(\"removes correct number of pending segments\", () => {\n\t\t\tconst helper = new ReconnectTestHelper();\n\n\t\t\t// (BC)-[A]\n\n\t\t\tconst op0 = helper.insertTextLocal(\"A\", 0, \"A\");\n\t\t\tconst op1 = helper.insertTextLocal(\"A\", 1, \"BC\");\n\t\t\tconst op2 = helper.obliterateRangeLocal(\"A\", 0, 2);\n\n\t\t\thelper.submitDisconnectedOp(\"A\", op0);\n\t\t\thelper.submitDisconnectedOp(\"A\", op1);\n\t\t\thelper.submitDisconnectedOp(\"A\", op2);\n\n\t\t\thelper.removeRange(\"A\", 0, 1);\n\n\t\t\thelper.processAllOps();\n\n\t\t\tassert.equal(helper.clients.A.getText(), \"\");\n\n\t\t\thelper.logger.validate();\n\t\t});\n\n\t\tit(\"doesn't do obliterate ack traversal when starting segment has been acked\", () => {\n\t\t\tconst helper = new ReconnectTestHelper();\n\n\t\t\t// AB\n\t\t\t// (E)-[F]-(G-D-(C-A)-B)\n\n\t\t\thelper.insertText(\"B\", 0, \"AB\");\n\t\t\thelper.processAllOps();\n\t\t\thelper.logger.validate();\n\n\t\t\tconst op0 = helper.insertTextLocal(\"A\", 0, \"C\");\n\t\t\tconst op1 = helper.obliterateRangeLocal(\"A\", 0, 2);\n\t\t\thelper.submitDisconnectedOp(\"A\", op0);\n\t\t\thelper.submitDisconnectedOp(\"A\", op1);\n\n\t\t\thelper.insertText(\"B\", 0, \"D\");\n\t\t\thelper.insertText(\"A\", 0, \"EFG\");\n\t\t\thelper.obliterateRange(\"A\", 0, 1);\n\t\t\thelper.removeRange(\"A\", 0, 1);\n\t\t\thelper.obliterateRange(\"A\", 0, 2);\n\t\t\thelper.processAllOps();\n\n\t\t\tassert.equal(helper.clients.A.getText(), \"\");\n\n\t\t\thelper.logger.validate();\n\t\t});\n\n\t\tit(\"does not delete reconnected insert at start of obliterate range if rebased\", () => {\n\t\t\tconst helper = new ReconnectTestHelper();\n\n\t\t\thelper.insertText(\"B\", 0, \"ABCD\");\n\t\t\thelper.processAllOps();\n\t\t\thelper.obliterateRange(\"B\", 0, 3);\n\t\t\thelper.disconnect([\"C\"]);\n\t\t\tconst cOp = helper.insertTextLocal(\"C\", 0, \"aaa\");\n\t\t\thelper.reconnect([\"C\"]);\n\t\t\thelper.submitDisconnectedOp(\"C\", cOp);\n\t\t\thelper.processAllOps();\n\n\t\t\tassert.equal(helper.clients.A.getText(), \"aaaD\");\n\t\t\tassert.equal(helper.clients.C.getText(), \"aaaD\");\n\n\t\t\thelper.logger.validate();\n\t\t});\n\n\t\tit(\"does not delete reconnected insert at end of obliterate range\", () => {\n\t\t\tconst helper = new ReconnectTestHelper();\n\n\t\t\thelper.insertText(\"B\", 0, \"ABCD\");\n\t\t\thelper.processAllOps();\n\t\t\thelper.obliterateRange(\"B\", 0, 3);\n\t\t\thelper.disconnect([\"C\"]);\n\t\t\tconst cOp = helper.insertTextLocal(\"C\", 3, \"aaa\");\n\t\t\thelper.reconnect([\"C\"]);\n\t\t\thelper.submitDisconnectedOp(\"C\", cOp);\n\t\t\thelper.processAllOps();\n\n\t\t\tassert.equal(helper.clients.A.getText(), \"aaaD\");\n\n\t\t\thelper.logger.validate();\n\t\t});\n\t});\n}\n"]}

package/lib/test/obliterate.spec.d.ts

@@ -0,0 +1,6 @@
+/*!
+ * Copyright (c) Microsoft Corporation and contributors. All rights reserved.
+ * Licensed under the MIT License.
+ */
+export {};
+//# sourceMappingURL=obliterate.spec.d.ts.map

package/lib/test/obliterate.spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"obliterate.spec.d.ts","sourceRoot":"","sources":["../../src/test/obliterate.spec.ts"],"names":[],"mappings":"AAAA;;;GAGG"}