3940414243444546474849
CompoundEdit edit; // Check #1. edit = new CompoundEdit(); edit.addEdit(new AbstractUndoableEdit()); harness.check(!edit.canRedo()); // Check #2. edit.end(); harness.check(!edit.canRedo());
4344454647484950515253
edit.addEdit(new AbstractUndoableEdit()); harness.check(!edit.canRedo()); // Check #2. edit.end(); harness.check(!edit.canRedo()); // Check #3. edit.undo(); harness.check(edit.canRedo());
4748495051525354555657
edit.end(); harness.check(!edit.canRedo()); // Check #3. edit.undo(); harness.check(edit.canRedo()); // Check #4. edit.redo(); harness.check(!edit.canRedo());
5152535455565758596061
edit.undo(); harness.check(edit.canRedo()); // Check #4. edit.redo(); harness.check(!edit.canRedo()); // Check #5. edit.die(); harness.check(!edit.canRedo()); }
5556575859606162
edit.redo(); harness.check(!edit.canRedo()); // Check #5. edit.die(); harness.check(!edit.canRedo()); } }