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

Timestamp:

02/13/15 10:31:00 (9 years ago)

Author:

pharms

Message:

• added support for views in GUIs

File:

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

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

@@ -16 +16 @@
 
 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElementSpec;
+import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIView;
 
 /**
@@ -27 +28 @@
  * @author Patrick Harms
  */
-public class HTMLDocumentSpec extends HTMLGUIElementSpec implements IGUIElementSpec {
+public class HTMLDocumentSpec extends HTMLGUIElementSpec implements IGUIElementSpec, IGUIView {
 
     /**
@@ -123 +124 @@
 
     /* (non-Javadoc)
+     * @see java.lang.Object#equals(java.lang.Object)
+     */
+    @Override
+    public boolean equals(Object obj) {
+        if (obj instanceof HTMLDocumentSpec) {
+            return getSimilarity((HTMLDocumentSpec) obj);
+        }
+        else {
+            return false;
+        }
+    }
+
+    /* (non-Javadoc)
      * @see java.lang.Object#toString()
      */
     @Override
     public String toString() {
-        return "Document(" + getPath() + ", \"" + getTitle() + "\")";
+        return "Document(" + getPath() + (getQuery() != null ? getQuery() : "") +
+            ", \"" + getTitle() + "\")";
+    }
+
+    /* (non-Javadoc)
+     * @see de.ugoe.cs.autoquest.eventcore.guimodel.IGUIView#isModal()
+     */
+    @Override
+    public boolean isModal() {
+        return true;
     }
 
@@ -148 +171 @@
      * @return the path in the URL of the document
      */
-    String getPath() {
+    public String getPath() {
         return path;
     }
@@ -159 +182 @@
      * @return the query in the URL of the document
      */
-    String getQuery() {
+    public String getQuery() {
         return query;
     }
@@ -170 +193 @@
      * @return the title of the document
      */
-    String getTitle() {
+    public String getTitle() {
         return title;
     }