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

Timestamp:

10/30/12 14:02:07 (12 years ago)

Author:

pharms

Message:

• refined HTML GUI model to also include explicitely the server and the page

File:

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

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

@@ -15 +15 @@
 package de.ugoe.cs.autoquest.plugin.html.guimodel;
 
-import java.net.URL;
-
 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElementSpec;
 
@@ -32 +30 @@
     
     /** */
-    private URL pageURL;
-    
-    /** */
-    private String pageTitle;
-    
-    /** */
     private String type;
     
-    /** */
-    private String id;
-    
-    /** */
-    private int index;
-
     /**
      * <p>
@@ -55 +41 @@
      * @param id
      */
-    public HTMLGUIElementSpec(URL pageURL, String pageTitle, String type, String id, int index) {
-        if (pageURL == null) {
-            throw new IllegalArgumentException("page URL must not be null");
-        }
-        else if (type == null) {
+    HTMLGUIElementSpec(String type) {
+        if (type == null) {
             throw new IllegalArgumentException("type must not be null");
         }
-        else if ((id == null) && (index < 0)) {
-            throw new IllegalArgumentException
-              ("either id must not be null or the index must be greater or equal to 0");
-        }
-        
-        this.pageURL = pageURL;
-        this.pageTitle = pageTitle;
+
         this.type = type;
-        this.id = id;
-        this.index = index;
     }
 
@@ -89 +64 @@
         if (other instanceof HTMLGUIElementSpec) {
             HTMLGUIElementSpec otherSpec = (HTMLGUIElementSpec) other;
-            
-            if (!type.equals(otherSpec.type)) {
-                return false;
-            }
-            
-            if (id != null) {
-                return id.equals(otherSpec.id);
-            }
-            else if (index >= 0) {
-                return index == otherSpec.index;
-            }
+            return type.equals(otherSpec.type);
         }
         
@@ -105 +70 @@
     }
 
-    /**
-     * <p>
-     * TODO: comment
-     * </p>
-     *
-     * @return
-     */
-    URL getPageURL() {
-        return pageURL;
-    }
-
-    /**
-     * <p>
-     * TODO: comment
-     * </p>
-     *
-     * @return
-     */
-    String getPageTitle() {
-        return pageTitle;
-    }
-
-    /**
-     * <p>
-     * TODO: comment
-     * </p>
-     *
-     * @return
-     */
-    String getTagId() {
-        return id;
-    }
-
-    /**
-     * <p>
-     * TODO: comment
-     * </p>
-     *
-     * @return
-     */
-    int getIndex() {
-        return index;
-    }
-
-    /**
-     * <p>
-     * TODO: comment
-     * </p>
-     *
-     * @param htmlguiElementSpec
-     */
-    void update(HTMLGUIElementSpec htmlguiElementSpec) {
-        // TODO Auto-generated method stub
-        System.out.println("TODO: implement HTMLGUIElementSpec.update ");
-        
-    }
-
 }