Changeset 743 for trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/JFCLogParser.java

Timestamp:

09/03/12 09:14:35 (12 years ago)

Author:

pharms

Message:

• handle element hashes as int again and simply corrected parsing

File:

• trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/JFCLogParser.java (modified) (6 diffs)

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

@@ -340 +340 @@
                     else if ("hash".equals(atts.getValue("name"))) {
                         currentGuiElementSpec.setElementHash
-                            (atts.getValue("value"));
+                            ((int) Long.parseLong(atts.getValue("value"), 16));
                     }
                 }
@@ -566 +566 @@
             else
             {
-                throw new SAXException
-                  ("log file has an error, as it contains a key up event on key " + key +
-                   " for which there is no preceeding key down event");
+                Console.printerrln("log file has an error, as it contains a key up event on key " +
+                                   key + " for which there is no preceeding key down event");
             }
 
@@ -645 +644 @@
             matcher = Pattern.compile(pattern).matcher(matcher.group(2));
             
-            String elementHash = "-1";
+            float elementHash = -1;
             
             pattern = "(([\\d]*)|([\\w$]*)|(([\\w$@\\.]*)=([\\w$@\\.]*)))\\z";
@@ -656 +655 @@
                         // found digit value. Those in combination usually denote the position
                         // of the GUI element. So calculate an element has out of them
-                        elementHash += valueMatcher.group(2);
+                        elementHash += Integer.parseInt(valueMatcher.group(2));
                     }
                     else if ((valueMatcher.group(5) != null) &&
@@ -667 +666 @@
                         
                         if ("alignmentX".equals(key) || "alignmentY".equals(key)) {
-                            elementHash += valueMatcher.group(6);
+                            elementHash += Float.parseFloat(valueMatcher.group(6));
                         }
                     }
@@ -673 +672 @@
             }
 
-            currentGuiElementSpec.setName("unknown(" + elementHash + ")");
+            currentGuiElementSpec.setName("unknown(" + ((int) elementHash) + ")");
             currentGuiElementSpec.setType(type);
             currentGuiElementSpec.setIndex(-1);
-            currentGuiElementSpec.setElementHash(elementHash);
+            currentGuiElementSpec.setElementHash((int) elementHash);
         }
         catch (Exception e)