the batch runner now injects dependencies, and a few tests check for this behavior

1 files changed, 6 insertions, 0 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 69b8c1c..74bd109 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
@@ -268,6 +268,12 @@ public class BatchRunner {
         injected += Utils.readFile(_root + JS_SRC_ROOT + "selenium/selenium-injected-compute.js");        
         injected += Utils.readFile(_root + JS_SRC_ROOT + "fiveui/injected/compute.js");
         
+        if (null != ruleSet.getDependencies()) {
+        	for (String dep : ruleSet.getDependencies()) {
+        		injected += Utils.readFile(dep);
+        	}
+        }
+        
         String ruleStrList = ruleSet.toJS();
         String cmd = "fiveui.selPort.send('ForceEval', " + ruleStrList + ");";