12 #ifndef CPROVER_JAVA_BYTECODE_JAR_FILE_H 13 #define CPROVER_JAVA_BYTECODE_JAR_FILE_H 15 #define _LARGEFILE64_SOURCE 1 36 explicit operator bool()
const {
return mz_ok; }
44 typedef std::map<std::string, std::string>
manifestt;
57 const std::string &file_name)
59 file_mapt::iterator it=
file_map.find(file_name);
64 jar_file.
open(class_loader_limit, file_name);
77 #endif // CPROVER_JAVA_BYTECODE_JAR_FILE_H void open(java_class_loader_limitt &, const std::string &)
filtered_jart filtered_jar
std::map< irep_idt, size_t > filtered_jart
jar_filet & operator()(java_class_loader_limitt &class_loader_limit, const std::string &file_name)
std::string get_entry(const irep_idt &)
virtual void set_message_handler(message_handlert &_message_handler)
std::map< std::string, jar_filet > file_mapt
message_handlert & get_message_handler()
std::map< std::string, std::string > manifestt
std::string java_cp_include_files