Ignore:
Timestamp:
01/25/14 14:00:01 (11 years ago)
Author:
pharms
Message:
  • removed common group stuff again as it did not work with a larger data set and as it also does not help, as grouping may introduce several group layers which can still not be merged.
File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/commands/CMDcondenseHTMLGUIModel.java

    r1334 r1336  
    1515package de.ugoe.cs.autoquest.plugin.html.commands; 
    1616 
    17 import java.io.PrintStream; 
    1817import java.util.Arrays; 
    1918import java.util.Comparator; 
     
    7473 *         \-- html 
    7574 *               \-- body 
    76  *                     |-- group (common) 
    77  *                     |     |-- div (id = menu) 
    78  *                     |     |     \-- ... 
    79  *                     |     \-- div (id = footer) 
    80  *                     |           \-- ... 
     75 *                     |-- div (id = menu) 
     76 *                     |     \-- ... 
    8177 *                     |-- group (document1) 
    8278 *                     |     \-- div (id = textcontent) 
     
    8581 *                     |     \-- div (id = imagecontent) 
    8682 *                     |           \-- ... 
     83 *                     \-- div (id = footer) 
     84 *                           \-- ... 
    8785 * </pre> 
    8886 * This now allows the menu and the footer to be treated as identical over several pages. 
     
    128126        for (IGUIElement root : model.getRootElements()) { 
    129127            if (root instanceof HTMLServer) { 
    130                 mergeServer((HTMLServer) root, model); 
     128                try { 
     129                    mergeServer((HTMLServer) root, model); 
     130                } 
     131                catch (Exception e) { 
     132                    Console.printerrln("problems while condensing model of server " + root); 
     133                    //e.printStackTrace(System.out); 
     134                    break; 
     135                } 
    131136            } 
    132137        } 
     
    148153        GUIElementsCluster rootCluster = getSimilarElementClusterHierarchy(server, model); 
    149154 
    150         rootCluster.dump(System.out, ""); 
    151              
    152         Console.traceln(Level.FINE, "grouping GUI elements according to clusters"); 
    153         groupGUIElementsAccordingToClusters(rootCluster, model, ""); 
     155        //rootCluster.dump(System.out, ""); 
     156             
     157        Console.traceln(Level.FINE, "merging GUI elements in same clusters and creating groups"); 
     158        mergeGUIElementsAccordingToClusters(rootCluster, model, ""); 
    154159             
    155160        //model.dump(System.out, "UTF-8"); 
     
    176181         
    177182        List<IGUIElement> children = model.getChildren(server); 
     183 
    178184         
    179185        SimilarGUIElements similarGuiElements = new SimilarGUIElements(); 
     
    182188            // when starting with the root, the cluster parent is the child itself, i.e. the 
    183189            // document. We expect all documents to be similar. 
     190 
    184191            similarGuiElements.add(new SimilarGUIElement(child, child)); 
    185192        } 
     
    243250                } 
    244251            } 
     252//            else { 
     253//                // search for a default cluster to add all elements to, which have no children 
     254//                GUIElementsCluster defaultCluster = null; 
     255//                 
     256//                for (GUIElementsCluster candidate : parentCluster.childClusters) { 
     257//                    if (candidate.similarChildrenGUIElements.size() == 0) { 
     258//                        defaultCluster = candidate; 
     259//                        break; 
     260//                    } 
     261//                } 
     262//                 
     263//                if (defaultCluster == null) { 
     264//                    defaultCluster = new GUIElementsCluster(); 
     265//                    parentCluster.addChildCluster(defaultCluster); 
     266//                } 
     267//                 
     268//                defaultCluster.clusteredGUIElements.add(similarGuiElement); 
     269//            } 
    245270        } 
    246271    } 
     
    354379                createClusterHierachies(subClusterToHandle); 
    355380                 
    356                 GUIElementsCluster commonCluster = new GUIElementsCluster(); 
     381                /*GUIElementsCluster commonCluster = new GUIElementsCluster(); 
    357382                //commonCluster.setClusteredGUIElements(subClusterToHandle.clusteredGUIElements); 
    358383                commonCluster.similarChildrenGUIElements.addAll 
     
    360385                 
    361386                subClusterToHandle.similarChildrenGUIElements.clear(); 
    362                 subClusterToHandle.childClusters.add(0, commonCluster); 
     387                subClusterToHandle.childClusters.add(0, commonCluster);*/ 
     388            } 
     389        } 
     390    } 
     391 
     392    /** 
     393     * <p> 
     394     * called for each cluster to merge similar GUI elements depending on the clusters and to 
     395     * create GUI element groups if required. Calls itself recursively to be also applied on 
     396     * child clusters. 
     397     * </p> 
     398     * 
     399     * @param cluster the cluster of which the similar children shall be merged 
     400     * @param model   the model to be adapted through the merge 
     401     */ 
     402    private void mergeGUIElementsAccordingToClusters(GUIElementsCluster cluster, 
     403                                                     GUIModel           model, 
     404                                                     String             indent) 
     405    { 
     406        //System.out.println(indent + "handling " + cluster); 
     407         
     408        for (SimilarGUIElements similarGUIElements : cluster.similarChildrenGUIElements) { 
     409            mergeGUIElements(similarGUIElements, model, indent + "  "); 
     410        } 
     411         
     412        if (cluster.childClusters.size() > 0) { 
     413            //System.out.println(indent + "  handling child clusters"); 
     414             
     415            for (GUIElementsCluster childCluster : cluster.childClusters) { 
     416                if (cluster.isDefault() || cluster.clusterParentsMatch(childCluster)) { 
     417                    // for default cluster or children not creating subgroups, just traverse the 
     418                    // cluster hierarchy 
     419                    mergeGUIElementsAccordingToClusters(childCluster, model, indent + "    "); 
     420                } 
     421                else { 
     422                    createClusterGroup(childCluster, model, indent + "    "); 
     423                } 
    363424            } 
    364425        } 
     
    380441 
    381442        while (similarGUIElements.size() > 1) { 
    382             System.out.println(indent + "merging " + mergeResult + " and " + 
    383                                similarGUIElements.get(1).similarGUIElement); 
     443            //System.out.println(indent + "merging " + mergeResult + " and " + 
     444            //                   similarGUIElements.get(1).similarGUIElement); 
    384445            mergeResult = model.mergeGUIElements 
    385446                (mergeResult, similarGUIElements.remove(1).similarGUIElement, false); 
     
    396457     * @param model   the model to be used for creating the groups 
    397458    */ 
    398     private void groupGUIElementsAccordingToClusters(GUIElementsCluster cluster, 
    399                                                      GUIModel           model, 
    400                                                      String             indent) 
    401     { 
    402         System.out.println(indent + "handling " + cluster); 
    403          
     459    private void createClusterGroup(GUIElementsCluster cluster, GUIModel model, String indent) { 
     460        //System.out.println(indent + "creating group for " + cluster); 
     461 
    404462        List<IGUIElement> guiElementsToGroup = new LinkedList<IGUIElement>(); 
    405463         
     
    409467        } 
    410468         
    411         List<IGUIElement> subgroups = new LinkedList<IGUIElement>(); 
    412  
    413          
    414         System.out.println(indent + "iterating child clusters of " + cluster); 
     469        //System.out.println(indent + "  iterating child clusters of " + cluster); 
    415470        for (GUIElementsCluster childCluster : cluster.childClusters) { 
    416             groupGUIElementsAccordingToClusters(childCluster, model, indent + "  "); 
    417              
    418             if (cluster.childClusters.size() > 1) { 
    419                 List<IGUIElement> childGuiElemsToGroup = new LinkedList<IGUIElement>(); 
    420                  
    421                 for (SimilarGUIElements similarGUIElems : childCluster.similarChildrenGUIElements) { 
    422                     childGuiElemsToGroup.addAll(similarGUIElems.toGUIElementList()); 
    423                 } 
    424                  
    425                 for (GUIElementsCluster subsubcluster : childCluster.childClusters) { 
    426                     if (subsubcluster.getGroup() != null) { 
    427                         childGuiElemsToGroup.add(subsubcluster.getGroup()); 
    428                     } 
    429                 } 
    430                  
    431                 if (childGuiElemsToGroup.size() > 0) { 
    432                     System.out.println(indent + "  grouping: " + childGuiElemsToGroup); 
    433                     IGUIElement group = model.groupGUIElements 
    434                         (childGuiElemsToGroup, getGroupName(childCluster)); 
    435                     System.out.println 
    436                         (indent + "    created group for " + childCluster + ": " + group); 
    437  
    438                     if (group != null) { 
    439                         childCluster.setGroup(group); 
    440                         if (cluster.isSubCluster(childCluster)) { 
    441                             subgroups.add(childCluster.getGroup()); 
    442                         } 
    443                         else { 
    444                             subgroups.add(childCluster.getGroup().getParent()); 
    445                         } 
    446                     } 
    447                 } 
    448             } 
    449              
    450             System.out.println(); 
    451         } 
    452          
     471            if (cluster.isDefault() || cluster.clusterParentsMatch(childCluster)) { 
     472                // for default cluster or children not creating subgroups, just traverse the 
     473                // cluster hierarchy 
     474                mergeGUIElementsAccordingToClusters(childCluster, model, indent + "  "); 
     475            } 
     476            else { 
     477                createClusterGroup(childCluster, model, indent + "  "); 
     478            } 
     479             
     480            if (childCluster.getGroup() != null) { 
     481                if (cluster.isSubCluster(childCluster)) { 
     482                    guiElementsToGroup.add(childCluster.getGroup()); 
     483                } 
     484                else { 
     485                    guiElementsToGroup.add(childCluster.getGroup().getParent()); 
     486                } 
     487            } 
     488        } 
     489         
     490        //System.out.println(indent + "grouping: " + guiElementsToGroup); 
     491        IGUIElement group = model.groupGUIElements(guiElementsToGroup, getGroupName(cluster)); 
     492        //System.out.println(indent + "  created group for " + cluster + ": " + group); 
     493         
     494        cluster.setGroup(group); 
    453495    } 
    454496 
     
    541583        public String toString() { 
    542584            return getName(); 
     585        } 
     586 
     587        /** 
     588         * <p> 
     589         * checks, if the main cluster parents, i.e., the documents of this and the provided cluster 
     590         * match 
     591         * </p> 
     592         * 
     593         * @param other the other cluster of which the main cluster parents shall be compared to 
     594         *              this 
     595         *               
     596         * @return true if they match, false else 
     597         */ 
     598        private boolean clusterParentsMatch(GUIElementsCluster other) { 
     599            // cluster parent may already be merged and therefore equals --> use system identity 
     600            // hash code for uniqueness 
     601            Set<Integer> mainClusterParents1 = new HashSet<Integer>(); 
     602            for (SimilarGUIElement clusteredElem1 : clusteredGUIElements) { 
     603                mainClusterParents1.add(System.identityHashCode(clusteredElem1.mainClusterParent)); 
     604            } 
     605             
     606            Set<Integer> mainClusterParents2 = new HashSet<Integer>(); 
     607            for (SimilarGUIElement clusteredElem2 : other.clusteredGUIElements) { 
     608                mainClusterParents2.add(System.identityHashCode(clusteredElem2.mainClusterParent)); 
     609            } 
     610             
     611            return mainClusterParents1.equals(mainClusterParents2); 
     612        } 
     613 
     614        /** 
     615         * <p> 
     616         * returns true, if this cluster is a default cluster 
     617         * </p> 
     618         * 
     619         * @return 
     620         */ 
     621        public boolean isDefault() { 
     622            return clusteredGUIElements.size() <= 0; 
    543623        } 
    544624 
     
    688768         * </p> 
    689769         */ 
    690         private void dump(PrintStream out, String indent) { 
    691             out.print(indent); 
    692             out.print(getName()); 
    693             out.println(" { "); 
    694              
    695             if (clusteredGUIElements.size() > 0) { 
    696                 out.print(indent); 
    697                 out.println("  clustered GUIElements {"); 
    698  
    699                 for (SimilarGUIElement clusteredGUIElement : clusteredGUIElements) { 
    700                     clusteredGUIElement.dump(out, indent + "    "); 
    701                 } 
    702  
    703                 out.print(indent); 
    704                 out.println("  }"); 
    705             } 
    706  
    707             if (similarChildrenGUIElements.size() > 0) { 
    708                 out.print(indent); 
    709                 out.println("  similar children {"); 
    710  
    711                 for (SimilarGUIElements similarGuiElements : similarChildrenGUIElements) { 
    712                     similarGuiElements.dump(out, indent + "    "); 
    713                 } 
    714  
    715                 out.print(indent); 
    716                 out.println("  }"); 
    717             } 
    718  
    719             if (childClusters.size() > 0) { 
    720                 out.print(indent); 
    721                 out.println("  child clusters {"); 
    722  
    723                 for (GUIElementsCluster childCluster : childClusters) { 
    724                     childCluster.dump(out, indent + "    "); 
    725                 } 
    726  
    727                 out.print(indent); 
    728                 out.println("  }"); 
    729             } 
    730              
    731             out.print(indent); 
    732             out.println("}"); 
    733         } 
     770//        private void dump(PrintStream out, String indent) { 
     771//            out.print(indent); 
     772//            out.print(getName()); 
     773//            out.println(" { "); 
     774//             
     775//            if (clusteredGUIElements.size() > 0) { 
     776//                out.print(indent); 
     777//                out.println("  clustered GUIElements {"); 
     778// 
     779//                for (SimilarGUIElement clusteredGUIElement : clusteredGUIElements) { 
     780//                    clusteredGUIElement.dump(out, indent + "    "); 
     781//                } 
     782// 
     783//                out.print(indent); 
     784//                out.println("  }"); 
     785//            } 
     786// 
     787//            if (similarChildrenGUIElements.size() > 0) { 
     788//                out.print(indent); 
     789//                out.println("  similar children {"); 
     790// 
     791//                for (SimilarGUIElements similarGuiElements : similarChildrenGUIElements) { 
     792//                    similarGuiElements.dump(out, indent + "    "); 
     793//                } 
     794// 
     795//                out.print(indent); 
     796//                out.println("  }"); 
     797//            } 
     798// 
     799//            if (childClusters.size() > 0) { 
     800//                out.print(indent); 
     801//                out.println("  child clusters {"); 
     802// 
     803//                for (GUIElementsCluster childCluster : childClusters) { 
     804//                    childCluster.dump(out, indent + "    "); 
     805//                } 
     806// 
     807//                out.print(indent); 
     808//                out.println("  }"); 
     809//            } 
     810//             
     811//            out.print(indent); 
     812//            out.println("}"); 
     813//        } 
    734814 
    735815    } 
     
    787867         * </p> 
    788868         */ 
    789         private void dump(PrintStream out, String indent) { 
    790             out.print(indent); 
    791             out.print("{ "); 
    792              
    793             for (int i = 0; i < super.size(); i++) { 
    794                 if (i > 0) { 
    795                     out.print(", "); 
    796                 } 
    797                 out.print(super.get(i)); 
    798             } 
    799              
    800             out.println(" }"); 
    801         } 
     869//        private void dump(PrintStream out, String indent) { 
     870//            out.print(indent); 
     871//            out.print("{ "); 
     872//             
     873//            for (int i = 0; i < super.size(); i++) { 
     874//                if (i > 0) { 
     875//                    out.print(", "); 
     876//                } 
     877//                out.print(super.get(i)); 
     878//            } 
     879//             
     880//            out.println(" }"); 
     881//        } 
    802882    } 
    803883     
     
    839919         * </p> 
    840920         */ 
    841         private void dump(PrintStream out, String indent) { 
    842             out.print(indent); 
    843             out.println(this); 
    844         } 
     921//        private void dump(PrintStream out, String indent) { 
     922//            out.print(indent); 
     923//            out.println(this); 
     924//        } 
    845925 
    846926        /* (non-Javadoc) 
Note: See TracChangeset for help on using the changeset viewer.