cprover
|
#include <java_class_loader.h>
Classes | |
class | jar_map_entryt |
Public Types | |
typedef std::map< irep_idt, java_bytecode_parse_treet > | class_mapt |
typedef std::map< irep_idt, jar_map_entryt > | jar_mapt |
Public Member Functions | |
java_bytecode_parse_treet & | operator() (const irep_idt &) |
void | set_java_cp_include_files (std::string &) |
void | add_jar_file (const std::string &f) |
void | load_entire_jar (java_class_loader_limitt &, const std::string &f) |
void | read_jar_file (java_class_loader_limitt &, const irep_idt &) |
java_bytecode_parse_treet & | get_parse_tree (java_class_loader_limitt &, const irep_idt &) |
Static Public Member Functions | |
static std::string | file_to_class_name (const std::string &) |
static std::string | class_name_to_file (const irep_idt &) |
Public Attributes | |
class_mapt | class_map |
jar_poolt | jar_pool |
jar_mapt | jar_map |
std::list< std::string > | jar_files |
std::string | java_cp_include_files |
Additional Inherited Members |
Definition at line 23 of file java_class_loader.h.
typedef std::map<irep_idt, java_bytecode_parse_treet> java_class_loadert::class_mapt |
Definition at line 31 of file java_class_loader.h.
typedef std::map<irep_idt, jar_map_entryt> java_class_loadert::jar_mapt |
Definition at line 60 of file java_class_loader.h.
|
inline |
Definition at line 37 of file java_class_loader.h.
References jar_files.
Referenced by java_bytecode_languaget::parse().
|
static |
Definition at line 242 of file java_class_loader.cpp.
References id2string(), and messaget::result().
Referenced by get_parse_tree().
|
static |
Definition at line 215 of file java_class_loader.cpp.
References has_prefix(), has_suffix(), and messaget::result().
Referenced by java_bytecode_languaget::parse(), and read_jar_file().
java_bytecode_parse_treet & java_class_loadert::get_parse_tree | ( | java_class_loader_limitt & | class_loader_limit, |
const irep_idt & | class_name | ||
) |
Definition at line 71 of file java_class_loader.cpp.
References class_map, class_name_to_file(), configt::javat::classpath, config, messaget::debug(), messaget::eom(), messaget::get_message_handler(), has_suffix(), jar_files, jar_map, jar_pool, configt::java, java_bytecode_parse(), java_class_loader_limitt::load_class_file(), java_bytecode_parse_treet::classt::name, java_bytecode_parse_treet::parsed_class, read_jar_file(), and messaget::warning().
Referenced by operator()().
void java_class_loadert::load_entire_jar | ( | java_class_loader_limitt & | class_loader_limit, |
const std::string & | f | ||
) |
Definition at line 164 of file java_class_loader.cpp.
References jar_files, jar_map, operator()(), and read_jar_file().
Referenced by java_bytecode_languaget::parse().
java_bytecode_parse_treet & java_class_loadert::operator() | ( | const irep_idt & | class_name | ) |
Definition at line 22 of file java_class_loader.cpp.
References class_map, java_bytecode_parse_treet::class_refs, messaget::debug(), messaget::eom(), messaget::get_message_handler(), get_parse_tree(), and java_cp_include_files.
Referenced by load_entire_jar().
void java_class_loadert::read_jar_file | ( | java_class_loader_limitt & | class_loader_limit, |
const irep_idt & | file | ||
) |
Definition at line 180 of file java_class_loader.cpp.
References messaget::debug(), messaget::eom(), messaget::error(), file_to_class_name(), jar_filet::filtered_jar, has_suffix(), id2string(), jar_map, and jar_pool.
Referenced by get_parse_tree(), and load_entire_jar().
void java_class_loadert::set_java_cp_include_files | ( | std::string & | _java_cp_include_files | ) |
Definition at line 64 of file java_class_loader.cpp.
References messaget::get_message_handler(), jar_pool, java_cp_include_files, and messaget::set_message_handler().
Referenced by java_bytecode_languaget::parse().
class_mapt java_class_loadert::class_map |
Definition at line 32 of file java_class_loader.h.
Referenced by java_bytecode_languaget::do_ci_lazy_method_conversion(), get_parse_tree(), operator()(), and java_bytecode_languaget::typecheck().
std::list<std::string> java_class_loadert::jar_files |
Definition at line 69 of file java_class_loader.h.
Referenced by add_jar_file(), get_parse_tree(), and load_entire_jar().
jar_mapt java_class_loadert::jar_map |
Definition at line 61 of file java_class_loader.h.
Referenced by get_parse_tree(), load_entire_jar(), java_bytecode_languaget::parse(), and read_jar_file().
jar_poolt java_class_loadert::jar_pool |
Definition at line 44 of file java_class_loader.h.
Referenced by get_parse_tree(), java_bytecode_languaget::parse(), read_jar_file(), and set_java_cp_include_files().
std::string java_class_loadert::java_cp_include_files |
Definition at line 70 of file java_class_loader.h.
Referenced by operator()(), and set_java_cp_include_files().