4142434445464748495051
AbstractUndoableEdit edit; edit = new AbstractUndoableEdit(); // Check #1. harness.check(!edit.canRedo()); // Check #2. edit.undo(); harness.check(edit.canRedo());
4546474849505152535455
// Check #1. harness.check(!edit.canRedo()); // Check #2. edit.undo(); harness.check(edit.canRedo()); // Check #3. edit.redo(); harness.check(!edit.canRedo());
4950515253545556575859
edit.undo(); harness.check(edit.canRedo()); // Check #3. edit.redo(); harness.check(!edit.canRedo()); // Check #4. edit.undo(); harness.check(edit.canRedo());
5354555657585960616263
edit.redo(); harness.check(!edit.canRedo()); // Check #4. edit.undo(); harness.check(edit.canRedo()); // Check #5. edit.die(); harness.check(!edit.canRedo()); }
5758596061626364
edit.undo(); harness.check(edit.canRedo()); // Check #5. edit.die(); harness.check(!edit.canRedo()); } }