4243444546474849505152
CompoundEdit edit; // Check #1. edit = new CompoundEdit(); edit.addEdit(new AbstractUndoableEdit()); harness.check(!edit.canUndo()); // Check #2. edit.end(); harness.check(edit.canUndo());
4647484950515253545556
edit.addEdit(new AbstractUndoableEdit()); harness.check(!edit.canUndo()); // Check #2. edit.end(); harness.check(edit.canUndo()); // Check #3. edit.undo(); harness.check(!edit.canUndo());
5051525354555657585960
edit.end(); harness.check(edit.canUndo()); // Check #3. edit.undo(); harness.check(!edit.canUndo()); // Check #4. edit.redo(); harness.check(edit.canUndo());
5455565758596061626364
edit.undo(); harness.check(!edit.canUndo()); // Check #4. edit.redo(); harness.check(edit.canUndo()); // Check #5. edit.die(); harness.check(!edit.canUndo()); }
5859606162636465
edit.redo(); harness.check(edit.canUndo()); // Check #5. edit.die(); harness.check(!edit.canUndo()); } }