();
+ for (SimilarGUIElement clusteredElem2 : other.clusteredGUIElements) {
+ mainClusterParents2.add(System.identityHashCode(clusteredElem2.mainClusterParent));
+ }
+
+ return mainClusterParents1.equals(mainClusterParents2);
+ }
+
+ /**
+ *
+ * returns true, if this cluster is a default cluster
+ *
+ *
+ * @return
+ */
+ public boolean isDefault() {
+ return clusteredGUIElements.size() <= 0;
+ }
+
+ /**
+ *
+ * sets the GUI element group created for this cluster
+ *
+ *
+ * @param group the GUI element group created for this cluster
+ */
+ private void setGroup(IGUIElement group) {
+ this.group = group;
+ }
+
+ /**
+ *
+ * returns the GUI element group created for this cluster
+ *
+ *
+ * @return the GUI element group created for this cluster
+ */
+ private IGUIElement getGroup() {
+ return group;
+ }
+
+ /**
+ *
+ * checks if the given cluster should be a child of this cluster. It should be a child
+ * if its list of clustered documents is a subset of the list of clustered documents of
+ * this cluster.
+ *
+ *
+ * @param potentialChild the cluster to check
+ *
+ * @return true, if the cluster should be a child, false else
+ */
+ private boolean isSubCluster(GUIElementsCluster potentialChild) {
+ return
+ (potentialChild.clusteredGUIElements.size() < clusteredGUIElements.size()) &&
+ (clusteredGUIElements.containsAll(potentialChild.clusteredGUIElements));
+ }
+
+ /**
+ *
+ * sets the list of clustered GUI elements, i.e., documents of which this cluster contains
+ * similar GUI elements
+ *
+ *
+ * @param clusteredGUIElements the new list of clustered GUI elements
+ */
+ private void setClusteredGUIElements(SimilarGUIElements clusteredGUIElements) {
+ this.clusteredGUIElements = clusteredGUIElements;
+ }
+
+ /**
+ *
+ * adds a child cluster to this cluster
+ *
+ *
+ * @param cluster the new child cluster
+ */
+ private void addChildCluster(GUIElementsCluster cluster) {
+ childClusters.add(cluster);
+ }
+
+ /**
+ *
+ * adds similar GUI elements to the list of similar GUI elements
+ *
+ */
+ private void addSimilarGUIElements(SimilarGUIElements similarGuiElements) {
+ similarChildrenGUIElements.add(similarGuiElements);
+ }
+
+ /**
+ *
+ * determines a list of similar GUI elements to which the provided GUI element belongs.
+ * If it finds one, it adds the GUI element to that list. If not, it creates a new one.
+ *
+ *
+ * @param child the child to to be added to the list of similar GUI elements
+ * @param clusterParent the main parent of the cluster to which the GUI element belongs
+ * (usually the document)
+ */
+ private void addSimilarChild(IGUIElement child, IGUIElement clusterParent) {
+ SimilarGUIElements similarGUIElements = null;
+
+ for (SimilarGUIElements candidate : similarChildrenGUIElements) {
+ if (candidate.elementsMatch(child)) {
+ similarGUIElements = candidate;
+ }
+ }
+
+ if (similarGUIElements == null) {
+ similarGUIElements = new SimilarGUIElements();
+ similarChildrenGUIElements.add(similarGUIElements);
+ }
+
+ similarGUIElements.add(new SimilarGUIElement(child, clusterParent));
+ }
+
+ /**
+ *
+ * checks, if this cluster is a cluster representing the provided main cluster parents
+ *
+ */
+ private boolean isClusterOf(SimilarGUIElements checkedClusterParents) {
+ return (clusteredGUIElements.size() == checkedClusterParents.size()) &&
+ (clusteredGUIElements.containsAll(checkedClusterParents));
+ }
+
+ /**
+ *
+ * returns a name for this cluster
+ *
+ */
+ private String getName() {
+ StringBuffer ret = new StringBuffer("cluster(");
+
+ if (clusteredGUIElements.size() > 0) {
+ for (SimilarGUIElement similarGUIElement : clusteredGUIElements) {
+ if (ret.length() > "cluster(".length()) {
+ ret.append(", ");
+ }
+
+ ret.append(similarGUIElement);
+ }
+ }
+ else {
+ ret.append("default");
+ }
+
+ ret.append(")");
+
+ return ret.toString();
+ }
+
+ /**
+ *
+ * dumps infos of this cluster to the provided stream
+ *
+ */
+// private void dump(PrintStream out, String indent) {
+// out.print(indent);
+// out.print(getName());
+// out.print(" { ");
+//
+// if (similarChildrenGUIElements.size() > 0) {
+// out.println();
+// out.print(indent);
+// out.println(" similar children {");
+//
+// for (SimilarGUIElements similarGuiElements : similarChildrenGUIElements) {
+// similarGuiElements.dump(out, indent + " ");
+// }
+//
+// out.print(indent);
+// out.println(" }");
+//
+// if (childClusters.size() > 0) {
+// out.print(indent);
+// out.println(" child clusters {");
+//
+// for (GUIElementsCluster childCluster : childClusters) {
+// childCluster.dump(out, indent + " ");
+// }
+//
+// out.print(indent);
+// out.println(" }");
+// }
+//
+// out.print(indent);
+// }
+// else if (clusteredGUIElements.size() > 0) {
+// out.println();
+// out.print(indent);
+// out.println(" clustered GUIElements {");
+//
+// for (SimilarGUIElement clusteredGUIElement : clusteredGUIElements) {
+// clusteredGUIElement.dump(out, indent + " ");
+// }
+//
+// out.print(indent);
+// out.println(" }");
+// out.print(indent);
+// }
+//
+// out.println("}");
+// }
+
+ }
+
+ /**
+ *
+ * represents a list of similar GUI elements
+ *
+ */
+ private static class SimilarGUIElements extends LinkedList {
+
+ /**
+ *
+ * default serial version UID
+ *
+ */
+ private static final long serialVersionUID = 1L;
+
+ /**
+ *
+ * checks if the provided GUI element is similar to at least on of the GUI elements
+ * represented by this list.
+ *
+ */
+ private boolean elementsMatch(IGUIElement otherGUIElement) {
+ // it is sufficient, if one of the elements (if any) matches, as the similarity
+ // check must be transitive
+ if (size() > 0) {
+ return get(0).similarGUIElement.getSpecification().getSimilarity
+ (otherGUIElement.getSpecification());
+ }
+ else {
+ return true;
+ }
+ }
+
+ /**
+ *
+ * transforms this list to a list of GUI elements
+ *
+ */
+ private List toGUIElementList() {
+ List guiElementList = new LinkedList();
+
+ for (SimilarGUIElement similarGUIElement : this) {
+ guiElementList.add(similarGUIElement.similarGUIElement);
+ }
+
+ return guiElementList;
+ }
+
+ /**
+ *
+ * dumps infos of this list to the provided stream
+ *
+ */
+// private void dump(PrintStream out, String indent) {
+// out.print(indent);
+// out.print("{ ");
+//
+// for (int i = 0; i < super.size(); i++) {
+// if (i > 0) {
+// out.print(", ");
+// }
+// out.print(super.get(i));
+// }
+//
+// out.println(" }");
+// }
+ }
+
+ /**
+ *
+ * represents a single similar GUI element and the main cluster parent, i.e., the document to
+ * which it belongs.
+ *
+ */
+ private static class SimilarGUIElement {
+
+ /**
+ *
+ * the represented GUI element
+ *
+ */
+ private IGUIElement similarGUIElement;
+
+ /**
+ *
+ * the main cluster parent, i.e., usually the document of the represented GUI element
+ *
+ */
+ private IGUIElement mainClusterParent;
+
+ /**
+ *
+ * simple constructor to initialize the objects
+ *
+ */
+ private SimilarGUIElement(IGUIElement similarGUIElement, IGUIElement clusterParent) {
+ this.similarGUIElement = similarGUIElement;
+ this.mainClusterParent = clusterParent;
+ }
+
+ /**
+ *
+ * dumps infos about this object to the provided stream
+ *
+ */
+// private void dump(PrintStream out, String indent) {
+// out.print(indent);
+// out.println(this);
+// }
+
+ /* (non-Javadoc)
+ * @see java.lang.Object#equals(java.lang.Object)
+ */
+ @Override
+ public boolean equals(Object obj) {
+ if (obj == this) {
+ return true;
+ }
+ else if (obj instanceof SimilarGUIElement) {
+ return (similarGUIElement.equals(((SimilarGUIElement) obj).similarGUIElement));
+ }
+ else {
+ return false;
+ }
+ }
+
+ /* (non-Javadoc)
+ * @see java.lang.Object#toString()
+ */
+ @Override
+ public String toString() {
+ return similarGUIElement + " (" + mainClusterParent + ")";
+ }
+ }
+
+}