Changeset 588 for trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElementSpec.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/JFCGUIElementSpec.java (modified) (4 diffs)

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

@@ -19 +19 @@
 
     /** */
-    private String name;
+    private String name = null;
     
     /** */
-    private String type;
+    private String type = null;
     
     /** */
-    private String icon;
+    private String icon = null;
     
     /** */
-    private int index;
+    private int index = -1;
     
     /** */
-    private int elementHash;
+    private String elementHash = null;
     
     /* (non-Javadoc)
@@ -67 +67 @@
         }
 
-        if (elementHash == otherSpec.elementHash) {
+        if (elementHash == otherSpec.elementHash || ((elementHash!=null) && elementHash.equals(otherSpec.elementHash))) {
             result += 15;
         }
@@ -129 +129 @@
      * @return the elementHash
      */
-    public int getElementHash() {
+    public String getElementHash() {
         return elementHash;
     }
@@ -164 +164 @@
      * @param elementHash the elementHash to set
      */
-    public void setElementHash(int elementHash) {
+    public void setElementHash(String elementHash) {
         this.elementHash = elementHash;
     }