cprover
|
This is the complete list of members for java_class_loadert, including all inherited members.
add_jar_file(const std::string &f) | java_class_loadert | inline |
add_load_classes(const std::vector< irep_idt > &classes) | java_class_loadert | inline |
class_map | java_class_loadert | private |
class_name_to_file(const irep_idt &) | java_class_loadert | static |
conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const | messaget | |
debug() const | messaget | inline |
endl(mstreamt &m) | messaget | inlinestatic |
eom(mstreamt &m) | messaget | inlinestatic |
error() const | messaget | inline |
eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest) | messaget | static |
file_to_class_name(const std::string &) | java_class_loadert | static |
get_class_from_jar(const irep_idt &class_name, const std::string &jar_file, const jar_indext &jar_index, java_class_loader_limitt &class_loader_limit) | java_class_loadert | private |
get_class_with_overlays_map() | java_class_loadert | inline |
get_extra_class_refs | java_class_loadert | private |
get_extra_class_refs_functiont typedef | java_class_loadert | |
get_jar_index(const std::string &jar_path) | java_class_loadert | inline |
get_message_handler() | messaget | inline |
get_mstream(unsigned message_level) const | messaget | inline |
get_original_class(const irep_idt &class_name) | java_class_loadert | inline |
get_parse_tree(java_class_loader_limitt &class_loader_limit, const irep_idt &class_name) | java_class_loadert | |
jar_files | java_class_loadert | private |
jar_index_optcreft typedef | java_class_loadert | private |
jar_indext typedef | java_class_loadert | |
jar_pool(java_class_loader_limitt &limit, const std::string &filename) | java_class_loadert | |
jar_pool(java_class_loader_limitt &limit, const std::string &buffer_name, const void *pmem, size_t size) | java_class_loadert | |
jars_by_path | java_class_loadert | private |
java_class_loadert() | java_class_loadert | inline |
java_cp_include_files | java_class_loadert | private |
java_load_classes | java_class_loadert | private |
load_entire_jar(java_class_loader_limitt &, const std::string &jar_path) | java_class_loadert | |
m_archives | java_class_loadert | private |
M_DEBUG enum value | messaget | |
M_ERROR enum value | messaget | |
M_PROGRESS enum value | messaget | |
M_RESULT enum value | messaget | |
M_STATISTICS enum value | messaget | |
M_STATUS enum value | messaget | |
M_WARNING enum value | messaget | |
message_handler | messaget | protected |
message_levelt enum name | messaget | |
messaget() | messaget | inline |
messaget(const messaget &other) | messaget | inline |
messaget(message_handlert &_message_handler) | messaget | inlineexplicit |
mstream | messaget | mutableprotected |
operator()(const irep_idt &class_name) | java_class_loadert | |
operator=(const messaget &other) | messaget | inline |
parse_tree_with_overlayst typedef | java_class_loadert | |
parse_tree_with_overridest_mapt typedef | java_class_loadert | |
progress() const | messaget | inline |
read_jar_file(java_class_loader_limitt &class_loader_limit, const std::string &jar_path) | java_class_loadert | private |
result() const | messaget | inline |
set_extra_class_refs_function(get_extra_class_refs_functiont func) | java_class_loadert | inline |
set_java_cp_include_files(const std::string &java_cp_include_files) | java_class_loadert | inline |
set_message_handler(message_handlert &_message_handler) | messaget | inlinevirtual |
statistics() const | messaget | inline |
status() const | messaget | inline |
warning() const | messaget | inline |
~messaget() | messaget | virtual |