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

Timestamp:

08/23/12 09:08:47 (12 years ago)

Author:

sherbold

Message:

• updated JFC GUI mappings
• changed JFCGUIElementSpec to store the elementHash as String instead of int. The reason for this is a problem that Integer.parseInt() that can occur with handling of negative hexadecimal values.

File:

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

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

@@ -75 +75 @@
      * @return the hashCode
      */
-    int getElementHash() {
+    String getElementHash() {
         return specification.getElementHash();
     }