4142434445464748495051
AbstractUndoableEdit edit; edit = new AbstractUndoableEdit(); // Check #1. harness.check(!edit.replaceEdit(edit)); // Check #2. harness.check(!edit.replaceEdit(null)); // Check #3.
4445464748495051525354
// Check #1. harness.check(!edit.replaceEdit(edit)); // Check #2. harness.check(!edit.replaceEdit(null)); // Check #3. harness.check(!edit.replaceEdit(new AbstractUndoableEdit())); // Check #4.
4748495051525354555657
// Check #2. harness.check(!edit.replaceEdit(null)); // Check #3. harness.check(!edit.replaceEdit(new AbstractUndoableEdit())); // Check #4. edit.die(); harness.check(!edit.replaceEdit(edit)); }
5152535455565758
// Check #3. harness.check(!edit.replaceEdit(new AbstractUndoableEdit())); // Check #4. edit.die(); harness.check(!edit.replaceEdit(edit)); } }