12 #ifndef CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_LIMIT_H 13 #define CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_LIMIT_H 32 std::string &java_cp_include_files) :
std::set< std::string > set_matcher
java_class_loader_limitt(message_handlert &_message_handler, std::string &java_cp_include_files)
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