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