diff options
author | Rogan Creswick <creswick@gmail.com> | 2013-06-16 22:08:45 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@gmail.com> | 2013-06-16 22:08:45 -0700 |
commit | 10fcc55c46753f1c1f3e2b5a2659263d7b64578e (patch) | |
tree | 48fd64f6ebfa064de431fc99480252c3a5e88f42 /src | |
parent | b5604498ce494199268290433960858266e67b10 (diff) |
removed debugging statements from upGoerFive rule, caught some exceptions in HeadlessAtom
Diffstat (limited to 'src')
-rw-r--r-- | src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessAtom.java | 14 | ||||
-rw-r--r-- | src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java | 2 |
2 files changed, 13 insertions, 3 deletions
diff --git a/src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessAtom.java b/src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessAtom.java index 01ffae0..12da948 100644 --- a/src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessAtom.java +++ b/src/batchtools/headless/src/main/java/com/galois/fiveui/HeadlessAtom.java @@ -48,8 +48,18 @@ public class HeadlessAtom { * @throws JsonParseException */ public static HeadlessAtom fromJsonObject(JsonObject obj, String dir) throws IOException { - String url = obj.get("url").getAsString(); - String ruleSet = obj.get("ruleSet").getAsString(); + String url = null; + String ruleSet = null; + + try { + url = obj.get("url").getAsString(); + } catch (NullPointerException e) { + } + + try { + ruleSet = obj.get("ruleSet").getAsString(); + } catch (NullPointerException e) { + } if (url == null || ruleSet == null) { throw new JsonParseException("could get either 'url' or 'ruleSet' properties"); diff --git a/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java b/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java index 5c0b233..cad8bee 100644 --- a/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java +++ b/src/batchtools/headless/src/main/java/com/galois/fiveui/Reporter.java @@ -92,7 +92,7 @@ public class Reporter { h1().text("Headless Run Summary").end(); p(); ul(); - li().a().href("byUrl.html").text("Results organized by URL").end().end(); + li().a().href("byURL.html").text("Results organized by URL").end().end(); li().a().href("byRule.html").text("Results organized by Rule").end().end(); end(); end(); |