add jars from JSON config to classpath

Author: Matthias Güdemann

src/java_bytecode/java_bytecode_language.cpp

@@ -13,6 +13,7 @@ Author: Daniel Kroening, [email protected]
 #include <util/config.h>
 #include <util/cmdline.h>
 #include <util/string2int.h>
+#include <json/json_parser.h>
 
 #include <goto-programs/class_hierarchy.h>
 
@@ -59,6 +60,25 @@ void java_bytecode_languaget::get_language_options(const cmdlinet &cmd)
     java_cp_include_files=cmd.get_value("java-cp-include-files");
   else
     java_cp_include_files=".*";
+  // load file list from JSON file
+  if(java_cp_include_files[0]=='@')
+  {
+    jsont json_cp_config;
+    if(parse_json(
+         java_cp_include_files.substr(1),
+         get_message_handler(),
+         json_cp_config))
+      throw "cannot read JSON input configuration for JAR loading";
+    assert(json_cp_config.is_object() && "JSON has wrong format");
+    jsont include_files=json_cp_config["jar"];
+    assert(include_files.is_array() && "JSON has wrong format");
+    // add jars from JSON config file to classpath
+    for(const jsont &file_entry : include_files.array)
+    {
+      assert(file_entry.is_string() && has_suffix(file_entry.value, ".jar"));
+      config.java.classpath.push_back(file_entry.value);
+    }
+  }
 }
 
 /*******************************************************************\