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

Timestamp:

03/06/14 10:30:03 (10 years ago)

Author:

pharms

Message:

• corrected a bug in creating hashcodes for GUI elements (they changed after storing a GUI model to a file and then reloading it)

File:

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

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

@@ -40 +40 @@
      */
     private String type;
+
+    /**
+     * <p>
+     * the hashCode of this GUI element specification
+     * </p>
+     */
+    private int hashCode;
     
     /**
@@ -50 +57 @@
      * @throws IllegalArgumentException if the provided type is null
      */
-    public HTMLGUIElementSpec(String type) {
+    public HTMLGUIElementSpec(String type, int hashCode) {
         if (type == null) {
             throw new IllegalArgumentException("type must not be null");
@@ -56 +63 @@
 
         this.type = type;
+        this.hashCode = hashCode;
     }
 
@@ -87 +95 @@
     }
 
+    /* (non-Javadoc)
+     * @see java.lang.Object#hashCode()
+     */
+    @Override
+    public int hashCode() {
+        return hashCode;
+    }
+
 }