Changeset 1436 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLDocumentSpec.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/HTMLDocumentSpec.java (modified) (1 diff)

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

@@ -77 +77 @@
      */
     public HTMLDocumentSpec(HTMLServerSpec server, String path, String query, String title) {
-        super("document");
+        super("document", (server != null ? server.hashCode() : 0) +
+              (path != null ? path.hashCode() : 0) + (query != null ? query.hashCode() : 0) +
+              (title != null ? title.hashCode() : 0));
         
         if (server == null) {