Go to the documentation of this file.
12 #ifndef CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_LIMIT_H
13 #define CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_LIMIT_H
34 const std::string &java_cp_include_files)
Class that provides messages with a built-in verbosity 'level'.
bool load_class_file(const std::string &class_file_name)
Use the class load limiter to decide whether a class file should be loaded or not.
bool use_regex_match
Whether to use regex_matcher instead of set_matcher.
java_class_loader_limitt(message_handlert &message_handler, const std::string &java_cp_include_files)
Class representing a filter for class file loading.
message_handlert * message_handler
void setup_class_load_limit(const std::string &)
Initializes class with either regex matcher or match set.
std::set< std::string > set_matcher