4849505152535455565758
// Check #2. edit.undo(); harness.check(edit.canRedo()); // Check #3. edit.redo(); harness.check(!edit.canRedo()); // Check #4. edit.undo(); harness.check(edit.canRedo());
7980818283848586878889
AbstractUndoableEdit aue = new AbstractUndoableEdit(); aue.undo(); aue.die(); try { aue.redo(); caught = null; } catch (Exception ex) { caught = ex;
// Check #2. edit.undo(); harness.check(!edit.canUndo()); // Check #3. edit.redo(); harness.check(edit.canUndo()); // Check #4. edit.die(); harness.check(!edit.canUndo());