cprover
|
#include <java_class_loader_limit.h>
Public Member Functions | |
java_class_loader_limitt (message_handlert &_message_handler, std::string &java_cp_include_files) | |
bool | load_class_file (const irep_idt &class_file_name) |
Private Member Functions | |
void | setup_class_load_limit (std::string &) |
initializes class with either regex matcher or match set More... | |
Private Attributes | |
std::regex | regex_matcher |
std::set< std::string > | set_matcher |
bool | regex_match |
std::smatch | string_matcher |
Additional Inherited Members |
Definition at line 21 of file java_class_loader_limit.h.
|
inlineexplicit |
Definition at line 30 of file java_class_loader_limit.h.
References setup_class_load_limit().
bool java_class_loader_limitt::load_class_file | ( | const irep_idt & | file_name | ) |
Definition at line 52 of file java_class_loader_limit.cpp.
References id2string(), regex_match, regex_matcher, set_matcher, and string_matcher.
Referenced by java_class_loadert::get_parse_tree(), and jar_filet::open().
|
private |
initializes class with either regex matcher or match set
Definition at line 18 of file java_class_loader_limit.cpp.
References jsont::array, messaget::get_message_handler(), jsont::is_array(), jsont::is_null(), jsont::is_string(), parse_json(), regex_match, regex_matcher, set_matcher, and jsont::value.
Referenced by java_class_loader_limitt().
|
private |
Definition at line 25 of file java_class_loader_limit.h.
Referenced by load_class_file(), and setup_class_load_limit().
|
private |
Definition at line 23 of file java_class_loader_limit.h.
Referenced by load_class_file(), and setup_class_load_limit().
|
private |
Definition at line 24 of file java_class_loader_limit.h.
Referenced by load_class_file(), and setup_class_load_limit().
|
private |
Definition at line 26 of file java_class_loader_limit.h.
Referenced by load_class_file().