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

Timestamp:

04/29/13 10:29:06 (12 years ago)

Author:

pharms

Message:

• corrected error handling during parsing

Location:

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

Files:

• CMDparseDirHTML.java (modified) (1 diff)
• CMDparseHTML.java (modified) (2 diffs)

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

@@ -77 +77 @@
             Console.traceln(Level.INFO, "Processing file: " + source);
 
-            parser.parseFile(source);
+            try {
+                parser.parseFile(source);
+            }
+            catch (Exception e) {
+                Console.printerrln("Could not parse " + source + ": " + e.getMessage());
+            }
         }
 

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

@@ -23 +23 @@
 import de.ugoe.cs.autoquest.plugin.html.HTMLLogParser;
 import de.ugoe.cs.util.console.Command;
+import de.ugoe.cs.util.console.Console;
 import de.ugoe.cs.util.console.GlobalDataContainer;
 
@@ -57 +58 @@
         HTMLLogParser parser = new HTMLLogParser();
 
-        parser.parseFile(filename);
+        try {
+            parser.parseFile(filename);
+        }
+        catch (Exception e) {
+            Console.printerrln("Could not parse " + filename + ": " + e.getMessage());
+            return;
+        }
+
         Collection<List<Event>> sequences = parser.getSequences();