Changeset 846 for trunk/quest-core-events/src/main/java/de

Timestamp:

09/21/12 11:06:24 (12 years ago)

Author:

sherbold

Message:

• added interface to the GUIModel to merge nodes from the outside
• added functionality to the SWT GUI to merge nodes of the GUI model manually

File:

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

trunk/quest-core-events/src/main/java/de/ugoe/cs/quest/eventcore/guimodel/GUIModel.java

@@ -227 +227 @@
         mergeSubTree(root);
     }
+    
+    /**
+     * <p>
+     * Merges the tree nodes of two GUI elements. The GUI elements need to have the same parent.
+     * </p>
+     * 
+     * @param guiElement1
+     *            the first merge GUI element
+     * @param guiElement2
+     *            the second merge GUI element
+     * @throws IllegalArgumentException
+     *             thrown if the two GUI elements do not have the same parent
+     */
+    public void mergeGUIElements(IGUIElement guiElement1, IGUIElement guiElement2)
+        throws IllegalArgumentException
+    {
+        // check if both nodes have the same parent
+        IGUIElement parentElement = guiElement1.getParent();
+        if (parentElement != null && !parentElement.equals(guiElement2.getParent())) {
+            throw new IllegalArgumentException("can only merge nodes with the same parent");
+        }
+
+        // get the TreeNode of the parent of the GUI elements
+        TreeNode parent = findNode(parentElement);
+
+        // get the TreeNodes for both GUI elements
+        TreeNode node1 = findNode(guiElement1);
+        TreeNode node2 = findNode(guiElement2);
+
+        if (node1 == null || node2 == null) {
+            throw new IllegalArgumentException(
+                                               "Error while merging nodes: one element is not part of the GUI model!");
+        }
+
+        TreeNode replacement = mergeTreeNodes(node1, node2);
+
+        if (parent != null) {
+            // remove node1 and node2 from the parent's children and add the replacement instead
+            // assumes that there are no duplicates of node1 and node2
+            if (parent.children != null) {
+                parent.children.set(parent.children.indexOf(node1), replacement);
+                parent.children.remove(node2);
+            }
+        }
+
+    }
 
     /**
@@ -428 +474 @@
 
         out.println();
+    }
+    
+    /**
+     * <p>
+     * Retrieves the TreeNode associated with a GUI element. Returns null if no such TreeNode is
+     * found.
+     * </p>
+     * 
+     * @param element
+     *            the GUI element
+     * @return associated TreeNode; null if no such node exists
+     */
+    private TreeNode findNode(IGUIElement element) {
+        if (element == null) {
+            return null;
+        }
+
+        TreeNode result = null;
+        for (TreeNode node : allNodes) {
+            if (node.guiElement.equals(element)) {
+                if (result == null) {
+                    result = node;
+                }
+                else {
+                    Console
+                        .traceln(Level.SEVERE,
+                                 "Multiple nodes in the internal GUI model match the same GUI element. "
+                                     + "This should not be the case and the GUI model is probably invalid.");
+                }
+            }
+        }
+        return result;
     }