diff options
author | Rogan Creswick <creswick@gmail.com> | 2013-06-24 18:55:29 -0700 |
---|---|---|
committer | Rogan Creswick <creswick@gmail.com> | 2013-06-24 18:55:29 -0700 |
commit | 750bb02df87cb2731ee593b3206f1ac442fcd69d (patch) | |
tree | 5e067684309355b8050db4c4b6e0e8fbbfeb52e9 /src/batchtools/headless/src/main/java/com/galois/fiveui/BatchRunner.java | |
parent | 40342e3311a773827c5ed30a4539675d9f6c0a3a (diff) |
further UI refinements for the batch runner reports
Diffstat (limited to 'src/batchtools/headless/src/main/java/com/galois/fiveui/BatchRunner.java')
-rw-r--r-- | src/batchtools/headless/src/main/java/com/galois/fiveui/BatchRunner.java | 20 |
1 files changed, 7 insertions, 13 deletions
diff --git a/src/batchtools/headless/src/main/java/com/galois/fiveui/BatchRunner.java b/src/batchtools/headless/src/main/java/com/galois/fiveui/BatchRunner.java index 345f997..934620a 100644 --- a/src/batchtools/headless/src/main/java/com/galois/fiveui/BatchRunner.java +++ b/src/batchtools/headless/src/main/java/com/galois/fiveui/BatchRunner.java @@ -19,27 +19,23 @@ package com.galois.fiveui; import java.io.File; import java.io.IOException; -import java.io.InputStream; -import java.io.InputStreamReader; import java.util.HashMap; import java.util.List; import java.util.Map; +import org.apache.log4j.Level; +import org.apache.log4j.Logger; import org.openqa.selenium.JavascriptExecutor; import org.openqa.selenium.WebDriver; +import com.galois.fiveui.drivers.Drivers; import com.google.common.collect.ImmutableList; -import com.google.common.collect.Maps; import com.google.common.collect.ImmutableList.Builder; +import com.google.common.collect.Maps; import com.google.common.io.Files; -import com.galois.fiveui.Result; -import com.galois.fiveui.RuleSet; -import com.galois.fiveui.Utils; -import com.galois.fiveui.drivers.Drivers; import edu.uci.ics.crawler4j.util.IO; - -import org.apache.log4j.Logger; // System.out.* is old fashioned +// System.out.* is old fashioned /** @@ -54,10 +50,8 @@ public class BatchRunner { private JavascriptExecutor _exe; private String _root; // FiveUI root directory - private static final String JS_SRC_ROOT = "src/js/"; - private static Logger logger = Logger.getLogger("com.galois.fiveui.BatchRunner"); - + private void registerDriver(WebDriver driver) { logger.debug("registering new webdriver..."); this._driver = driver; @@ -294,7 +288,7 @@ public class BatchRunner { logger.debug("building webdrivers ..."); ImmutableList<WebDriver> r = ImmutableList.<WebDriver>of( Drivers.buildFFDriver(ffProfile) - // , Drivers.buildChromeDriver() + //, Drivers.buildChromeDriver() ); logger.debug("built: " + r.toString()); return r; |