abstractundo

CatarinaGamboa · CatarinaGamboa · commit 82cf9cc0bcef · 2026-01-31T16:33:58.000Z
diff --git a/examples/demo/src/main/java/com/abstractundo/AbstractUndoRefinements.java b/examples/demo/src/main/java/com/abstractundo/AbstractUndoRefinements.java
@@ -0,0 +1,39 @@
+package com.abstractundo;
+
+import liquidjava.specification.ExternalRefinementsFor;
+import liquidjava.specification.StateRefinement;
+import liquidjava.specification.StateSet;
+
+
+
+@StateSet({"aliveDone", "aliveNotDone", "notAlive"})
+@ExternalRefinementsFor("javax.swing.undo.AbstractUndoableEdit")
+public interface AbstractUndoRefinements {
+
+    @StateRefinement(to="aliveDone(this)")
+    void AbstractUndoableEdit();
+
+    @StateRefinement(from="aliveNotDone(this)", to="aliveDone(this)")
+    void redo();
+
+    @StateRefinement(from="aliveDone(this)", to="aliveNotDone(this)")
+    void undo();
+
+    @StateRefinement(from="!notAlive(this)", to="notAlive(this)")
+    void die();
+
+
+    // anything
+    // boolean canRedo();
+    // boolean canUndo();
+
+    // boolean addEdit(UndoableEdit anEdit);
+    // String getPresentationName();
+    // String getRedoPresentationName();
+    // String getUndoPresentationName();
+    // boolean isSignificant();
+    // boolean replaceEdit(UndoableEdit anEdit);
+    // String toString();
+
+    
+}
diff --git a/examples/demo/src/main/java/com/abstractundo/TestAbstractUndo.java b/examples/demo/src/main/java/com/abstractundo/TestAbstractUndo.java
@@ -0,0 +1,28 @@
+package com.abstractundo;
+
+import javax.swing.undo.AbstractUndoableEdit;
+
+public class TestAbstractUndo {
+    
+    void test1(){
+        AbstractUndoableEdit a = new AbstractUndoableEdit();
+        a.redo();
+    }
+
+    void test2(){
+        AbstractUndoableEdit a = new AbstractUndoableEdit();
+        a.undo();
+        a.redo();
+        a.undo();
+        a.undo();
+    }
+
+    void test3(){
+        AbstractUndoableEdit a = new AbstractUndoableEdit();
+        a.undo();
+        a.redo();
+        a.undo();
+        a.die();
+        a.redo();
+    }
+}
