Changeset 714 for trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElement.java

Timestamp:

08/30/12 14:08:12 (12 years ago)

Author:

pharms

Message:

improved comparison of GUI elements

File:

• trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElement.java (modified) (3 diffs)

trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElement.java

@@ -69 +69 @@
      * @return the hashCode
      */
-    String getElementHash() {
+    int getElementHash() {
         return specification.getElementHash();
     }
@@ -80 +80 @@
     @Override
     public void updateSpecification(IGUIElementSpec updateSpecification) {
-        if( updateSpecification instanceof JFCGUIElementSpec ) {
-            specification.setName(((JFCGUIElementSpec) updateSpecification).getName());
-            specification.setElementHash(((JFCGUIElementSpec) updateSpecification).getElementHash());
+        if (updateSpecification instanceof JFCGUIElementSpec) {
+            specification.update(((JFCGUIElementSpec) updateSpecification));
         }
     }
@@ -107 +106 @@
     @Override
     public String toString() {
-        String str = getElementDescriptor() + "(" + getName() + ", " + getElementHash() + "," + getIcon() + "," + getIndex() +")";
+        String str = getElementDescriptor() + "(" + getName() + "," + getElementHash() + "," +
+            getIcon() + "," + getIndex() +")";
         return str;
     }