aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Jones <bjones@galois.com>2012-12-04 18:55:44 -0800
committerGravatar Benjamin Jones <bjones@galois.com>2012-12-04 18:55:44 -0800
commit7f7d5aa7eb792bddba3fa92c1a89335d53c22db0 (patch)
treef9e381e9a5152bd410600fbb343b90dabb8aed00
parent5591b5566ceac8533fa5efd76519d074b4a4ee7a (diff)
use the updates Result constructors
-rw-r--r--headless/src/main/java/com/galois/fiveui/BatchRunner.java6
1 files changed, 3 insertions, 3 deletions
diff --git a/headless/src/main/java/com/galois/fiveui/BatchRunner.java b/headless/src/main/java/com/galois/fiveui/BatchRunner.java
index fb955c7..6c71341 100644
--- a/headless/src/main/java/com/galois/fiveui/BatchRunner.java
+++ b/headless/src/main/java/com/galois/fiveui/BatchRunner.java
@@ -221,15 +221,15 @@ public class BatchRunner {
List<Map<String, Map<String, String>>> results = (List) res;
if (0 == results.size()) {
- builder.add(Result.pass(_driver, "passed: " + state));
+ builder.add(Result.pass(_driver, "", _driver.getCurrentUrl(), ruleSet.getName()));
}
for (Map<String, Map<String, String>> r : results) {
Map<String, String> problem = r.get("payload");
builder.add(Result.error(_driver, "problem: " +
- problem.toString() +
- ", state: " + state));
+ problem.toString(),
+ _driver.getCurrentUrl(), ruleSet.getName()));
}
} catch (ClassCastException e) {