Changeset 1084 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin

Timestamp:

02/18/13 09:30:13 (12 years ago)

Author:

pharms

Message:

• forwarded problems in GUI element mapping to parser to allow better handling of this exception

File:

• trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/HTMLLogParser.java (modified) (3 diffs)

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

@@ -25 +25 @@
 import de.ugoe.cs.autoquest.eventcore.IEventType;
 import de.ugoe.cs.autoquest.eventcore.guimodel.GUIModel;
+import de.ugoe.cs.autoquest.eventcore.guimodel.GUIModelException;
 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement;
 import de.ugoe.cs.autoquest.plugin.html.eventcore.HTMLEventTypeFactory;
@@ -133 +134 @@
 
         if (specification != null) {
-            super.getGUIElementTree().add(id, parentId, specification);
+            try {
+                super.getGUIElementTree().add(id, parentId, specification);
+            }
+            catch (GUIModelException e) {
+                throw new SAXException("could not handle GUI element with id " +
+                                       id + ": " + e.getMessage(), e);
+            }
             return true;
         }
@@ -174 +181 @@
             HTMLEventTypeFactory.getInstance().getEventType(type, parameters, target);
         
-        Event event = new Event(eventType, target);
-
-        String timestampStr = parameters.get("timestamp");
-        
-        if (timestampStr != null) {
-            event.setTimestamp(Long.parseLong(timestampStr));
-        }
-
-        ((HTMLGUIElement) event.getTarget()).markUsed();
-        
-        super.addToSequence(event);
+        if (eventType != null) {
+            Event event = new Event(eventType, target);
+
+            String timestampStr = parameters.get("timestamp");
+        
+            if (timestampStr != null) {
+                event.setTimestamp(Long.parseLong(timestampStr));
+            }
+
+            ((HTMLGUIElement) event.getTarget()).markUsed();
+        
+            super.addToSequence(event);
+        }
+        // else ignore unknown event type
 
         return true;