Changeset 1904

Timestamp:

03/10/15 14:59:28 (9 years ago)

Author:

sherbold

Message:

• altIndex now a mutable int that should be the same object in all merged GUI elements.

File:

• trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElementSpec.java (modified) (5 diffs)

trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElementSpec.java

@@ -19 +19 @@
 
 import org.apache.commons.collections15.CollectionUtils;
+import org.apache.commons.lang.mutable.MutableInt;
 
 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement;
@@ -80 +81 @@
      * counted separately. This index is used for replaying programs such as Jacareto.
      * </p>
-     */
-    private int altIndex = -1;
+     */    
+    private MutableInt altIndex = new MutableInt(-1);
 
     /**
@@ -308 +309 @@
      */
     public int getAltIndex() {
-        return altIndex;
+        return altIndex.intValue();
     }
 
@@ -331 +332 @@
      */
     public void setAltIndex(int newAltIndex) {
-        altIndex = newAltIndex;
+        altIndex.setValue(newAltIndex);
     }
 
@@ -440 +441 @@
                 setName(other.name);
             }
+            other.altIndex = this.altIndex;
         }
     }