Changeset 1387 for trunk/autoquest-plugin-html/src/main/java/de

Timestamp:

02/15/14 15:26:06 (11 years ago)

Author:

pharms

Message:

• improved GUI element group naming

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcondenseHTMLGUIModel.java (modified) (2 diffs)

trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcondenseHTMLGUIModel.java

@@ -15 +15 @@
 package de.ugoe.cs.autoquest.plugin.html.commands;
 
+import java.util.ArrayList;
 import java.util.Arrays;
 import java.util.Comparator;
@@ -512 +513 @@
         
         if (cluster.clusteredGUIElements.size() > 0) {
+            List<List<String>> pathParts = new ArrayList<List<String>>();
+            
             for (SimilarGUIElement guiElement : cluster.clusteredGUIElements) {
                 if (guiElement.mainClusterParent instanceof HTMLDocument) {
-                    name.append(((HTMLDocument) guiElement.mainClusterParent).getPath());
+                    String path = ((HTMLDocument) guiElement.mainClusterParent).getPath();
+                    
+                    if (path.startsWith("/")) {
+                        path = path.substring(1);
+                    }
+                    
+                    if (path.endsWith("/")) {
+                        path = path.substring(0, path.length() - 1);
+                    }
+                    
+                    String[] pathElements = path.split("/");
+                    
+                    for (int i = 0; i < pathElements.length; i++) {
+                        if (pathParts.size() <= i) {
+                            pathParts.add(new LinkedList<String>());
+                        }
+                        if (!pathParts.get(i).contains(pathElements[i])) {
+                            pathParts.get(i).add(pathElements[i]);
+                        }
+                    }
                 }
                 else {
-                    name.append(guiElement.mainClusterParent.getStringIdentifier());
+                    if (pathParts.size() < 1) {
+                        pathParts.add(new LinkedList<String>());
+                    }
+                    if (!pathParts.get(0).contains(guiElement.mainClusterParent.getStringIdentifier()))
+                    {
+                        pathParts.get(0).add(guiElement.mainClusterParent.getStringIdentifier());
+                    }
+                }
+            }
+            
+            for (List<String> pathPart : pathParts) {
+                name.append('/');
+                if (pathPart.size() > 1) {
+                    name.append('[');
+                }
+                
+                int index = 0;
+                for (String elem : pathPart) {
+                    if (index++ > 0) {
+                        name.append('|');
+                    }
+                    name.append(elem);
+                }
+                
+                if (pathPart.size() > 1) {
+                    name.append(']');
                 }
             }