Changeset 1385

Timestamp:

02/15/14 13:05:51 (11 years ago)

Author:

pharms

Message:

• corrected bug when setting the parent of a GUI element. Now all equal GUI elements will have the same parent.

File:

• trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/AbstractDefaultGUIElement.java (modified) (2 diffs)

trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/AbstractDefaultGUIElement.java

@@ -61 +61 @@
      * </p>
      */
-    boolean usageObserved;
+    private boolean usageObserved;
 
     /**
@@ -222 +222 @@
      */
     void setParent(IGUIElement newParent) {
-        this.parent = newParent;
+        synchronized (AbstractDefaultGUIElement.class) {
+            // all equal GUI elements must have the same parent. Otherwise, they are not equal
+            // anymore and we would have discrepancies on the return value of getParent() on
+            // equal GUI elements.
+            this.parent = newParent;
+            if (equalGUIElements != null) {
+                for (AbstractDefaultGUIElement candidate : equalGUIElements) {
+                    candidate.parent = newParent;
+                }
+            }
+        }
+
     }