10 #ifndef CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_H 11 #define CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_H 31 typedef std::map<irep_idt, java_bytecode_parse_treet>
class_mapt;
60 typedef std::map<irep_idt, jar_map_entryt>
jar_mapt;
73 #endif // CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_H
std::list< std::string > jar_files
void load_entire_jar(java_class_loader_limitt &, const std::string &f)
java_bytecode_parse_treet & get_parse_tree(java_class_loader_limitt &, const irep_idt &)
std::map< irep_idt, java_bytecode_parse_treet > class_mapt
std::string class_file_name
static std::string file_to_class_name(const std::string &)
void add_jar_file(const std::string &f)
void set_java_cp_include_files(std::string &)
java_bytecode_parse_treet & operator()(const irep_idt &)
std::map< irep_idt, jar_map_entryt > jar_mapt
void read_jar_file(java_class_loader_limitt &, const irep_idt &)
std::string java_cp_include_files
static std::string class_name_to_file(const irep_idt &)
std::map< irep_idt, entryt > entriest