// ok
}
}
public void testDocOp() {
OpEquator eq = OpComparators.SYNTACTIC_IDENTITY;
DocOpBuffer ba1 = new DocOpBuffer();
ba1.characters("a");
DocOp a1 = ba1.finish();
DocOpBuffer ba2 = new DocOpBuffer();
ba2.characters("a");
DocOp a2 = ba2.finish();
DocOpBuffer bb1 = new DocOpBuffer();
bb1.deleteCharacters("a");
DocOp b1 = bb1.finish();
DocOpBuffer bb2 = new DocOpBuffer();
bb2.deleteCharacters("a");
DocOp b2 = bb1.finish();
assertTrue(eq.equal(a1, a1));
assertTrue(eq.equal(a1, a2));
assertTrue(eq.equal(a2, a1));
assertTrue(eq.equal(a2, a2));
assertTrue(eq.equal(b1, b1));
assertTrue(eq.equal(b1, b2));
assertTrue(eq.equal(b2, b1));
assertTrue(eq.equal(b2, b2));
assertFalse(eq.equal(a1, b1));
assertFalse(eq.equal(a1, b2));
assertFalse(eq.equal(a2, b1));
assertFalse(eq.equal(a2, b2));
}