19 std::string &java_cp_include_files)
21 if(java_cp_include_files.empty())
22 throw "class regexp cannot be empty";
30 assert(java_cp_include_files.length()>1);
33 java_cp_include_files.substr(1),
36 throw "cannot read JSON input configuration for JAR loading";
37 if(!json_cp_config.is_object())
38 throw "the JSON file has a wrong format";
39 jsont include_files=json_cp_config[
"classFiles"];
41 throw "the JSON file has a wrong format";
42 for(
const jsont &file_entry : include_files.
array)
56 return std::regex_match(
const std::string & id2string(const irep_idt &d)
bool parse_json(std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest)
std::set< std::string > set_matcher
message_handlert & get_message_handler()
void setup_class_load_limit(std::string &)
initializes class with either regex matcher or match set
bool load_class_file(const irep_idt &class_file_name)
std::smatch string_matcher