12 #ifndef CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_LIMIT_H 13 #define CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_LIMIT_H 33 const std::string &java_cp_include_files)
std::set< std::string > set_matcher
java_class_loader_limitt(message_handlert &message_handler, const std::string &java_cp_include_files)
bool load_class_file(const std::string &class_file_name)
bool use_regex_match
Whether to use regex_matcher instead of set_matcher.
void setup_class_load_limit(const std::string &)
initializes class with either regex matcher or match set
message_handlert * message_handler