Changeset 1490 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLDocument.java

Timestamp:

04/07/14 08:42:08 (10 years ago)

Author:

pharms

Message:

• added support and initial implementation of a platform specific distance measure between GUI elements

File:

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

trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLDocument.java

@@ -16 +16 @@
 
 import de.ugoe.cs.autoquest.eventcore.guimodel.IDialog;
+import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement;
 
 /**
@@ -69 +70 @@
     }
 
+    /* (non-Javadoc)
+     * @see de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement#getDistanceTo(IGUIElement)
+     */
+    @Override
+    public double getDistanceTo(IGUIElement otherElement) {
+        if (otherElement instanceof HTMLServer) {
+            // use the implementation provided by the server
+            return otherElement.getDistanceTo(this);
+        }
+        else if (otherElement instanceof HTMLDocument) {
+            if (this.getSpecification().getSimilarity(otherElement.getSpecification())) {
+                return DISTANCE_NONE;
+            }
+            else {
+                // use the implementation provided by the server to check if the document resists
+                // at least on the same server
+                return getServer().getDistanceTo(otherElement);
+            }
+        }
+        else if (otherElement instanceof HTMLPageElement) {
+            HTMLDocumentSpec documentSpec =
+                ((HTMLPageElementSpec) otherElement.getSpecification()).getPage();
+            
+            if (this.getSpecification().getSimilarity(documentSpec)) {
+                return DISTANCE_SAME_DOCUMENT;
+            }
+            else {
+                // use the implementation provided by the server to check if the document resists
+                // at least on the same server
+                return getServer().getDistanceTo(otherElement);
+            }
+        }
+        
+        return DISTANCE_DISTINCT_SERVER;
+    }
+
     /**
      * <p>