cprover
|
#include <jar_file.h>
Public Types | |
typedef std::map< irep_idt, size_t > | filtered_jart |
typedef std::map< std::string, std::string > | manifestt |
Public Member Functions | |
jar_filet () | |
~jar_filet () | |
void | open (java_class_loader_limitt &, const std::string &) |
operator bool () const | |
std::string | get_entry (const irep_idt &) |
manifestt | get_manifest () |
Public Attributes | |
filtered_jart | filtered_jar |
Protected Attributes | |
mz_zip_archive | zip |
bool | mz_ok |
Additional Inherited Members |
Definition at line 26 of file jar_file.h.
typedef std::map<irep_idt, size_t> jar_filet::filtered_jart |
Definition at line 39 of file jar_file.h.
typedef std::map<std::string, std::string> jar_filet::manifestt |
Definition at line 44 of file jar_file.h.
|
inline |
Definition at line 29 of file jar_file.h.
jar_filet::~jar_filet | ( | ) |
Definition at line 59 of file jar_file.cpp.
References mz_ok, mz_zip_reader_end(), and zip.
std::string jar_filet::get_entry | ( | const irep_idt & | name | ) |
Definition at line 68 of file jar_file.cpp.
References filtered_jar, mz_zip_archive_file_stat::m_uncomp_size, mz_ok, MZ_TRUE, mz_zip_reader_extract_to_mem(), mz_zip_reader_file_stat(), and zip.
Referenced by get_manifest().
jar_filet::manifestt jar_filet::get_manifest | ( | ) |
Definition at line 97 of file jar_file.cpp.
References filtered_jar, get_entry(), and pos().
void jar_filet::open | ( | java_class_loader_limitt & | class_loader_limit, |
const std::string & | filename | ||
) |
Definition at line 18 of file jar_file.cpp.
References messaget::eom(), filtered_jar, has_suffix(), java_class_loader_limitt::load_class_file(), mz_ok, MZ_TRUE, mz_zip_reader_get_filename(), mz_zip_reader_get_num_files(), mz_zip_reader_init_file(), messaget::status(), and zip.
Referenced by jar_poolt::operator()().
|
inlineexplicit |
Definition at line 36 of file jar_file.h.
References mz_ok.
filtered_jart jar_filet::filtered_jar |
Definition at line 40 of file jar_file.h.
Referenced by get_entry(), get_manifest(), open(), and java_class_loadert::read_jar_file().
|
protected |
Definition at line 49 of file jar_file.h.
Referenced by get_entry(), open(), operator bool(), and ~jar_filet().
|
protected |
Definition at line 48 of file jar_file.h.
Referenced by get_entry(), open(), and ~jar_filet().