CBMC: Member List

add_classpath_entry(const std::string &, message_handlert &) java_class_loader_baset

add_load_classes(const std::vector< irep_idt > &classes) java_class_loadert inline

can_load_class(const irep_idt &class_name, message_handlert &) java_class_loadert

class_map java_class_loadert private

class_name_to_jar_file(const irep_idt &) java_class_loader_baset static

class_name_to_os_file(const irep_idt &) java_class_loader_baset static

classpath_entries java_class_loader_baset protected

clear_classpath() java_class_loader_baset inline

file_to_class_name(const std::string &) java_class_loader_baset static

get_class_from_directory(const irep_idt &class_name, const std::string &path, message_handlert &) java_class_loader_baset protected

get_class_from_jar(const irep_idt &class_name, const std::string &jar_file, message_handlert &) java_class_loader_baset protected

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_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, message_handlert &) java_class_loadert

jar_pool java_class_loader_baset

java_class_loadert() java_class_loadert inline

java_cp_include_files java_class_loadert private

java_load_classes java_class_loadert private

load_class(const irep_idt &class_name, const classpath_entryt &, message_handlert &) java_class_loader_baset protected

load_entire_jar(const std::string &jar_path, message_handlert &) java_class_loadert

operator()(const irep_idt &class_name, message_handlert &) java_class_loadert

parse_tree_with_overlayst typedef java_class_loadert

parse_tree_with_overridest_mapt typedef java_class_loadert

read_jar_file(const std::string &jar_path, message_handlert &) java_class_loadert private

set_extra_class_refs_function(get_extra_class_refs_functiont func) java_class_loadert inline

set_java_cp_include_files(const std::string &cp_include_files) java_class_loadert inline