4445464748495051525354
// Check #1. harness.check(!edit.canRedo()); // Check #2. edit.undo(); harness.check(edit.canRedo()); // Check #3. edit.redo(); harness.check(!edit.canRedo());
5253545556575859606162
// Check #3. edit.redo(); harness.check(!edit.canRedo()); // Check #4. edit.undo(); harness.check(edit.canRedo()); // Check #5. edit.die(); harness.check(!edit.canRedo());
7778798081828384858687
// Check #3: Exception for dead edit. AbstractUndoableEdit aue = new AbstractUndoableEdit(); aue.die(); try { aue.undo(); caught = null; } catch (Exception ex) { caught = ex;
7576777879808182838485
} harness.check(caught instanceof CannotRedoException); // Check #3: Exception for dead edit. AbstractUndoableEdit aue = new AbstractUndoableEdit(); aue.undo(); aue.die(); try { aue.redo(); caught = null;
// Check #1. harness.check(edit.canUndo()); // Check #2. edit.undo(); harness.check(!edit.canUndo()); // Check #3. edit.redo(); harness.check(edit.canUndo());