9 #ifndef CPROVER_JAVA_BYTECODE_MZ_ZIP_ARCHIVE_H 10 #define CPROVER_JAVA_BYTECODE_MZ_ZIP_ARCHIVE_H 53 std::string
extract(
size_t index);
55 std::unique_ptr<mz_zip_archive_statet>
m_state;
58 #endif // CPROVER_JAVA_BYTECODE_MZ_ZIP_ARCHIVE_H mz_zip_archivet(const std::string &filename)
Open a zip archive.
std::string extract(size_t index)
Get contents of nth file in the archive.
Thin object-oriented wrapper around the MZ Zip library Zip file reader and extractor.
std::unique_ptr< mz_zip_archive_statet > m_state
std::string get_filename(size_t index)
Get file name of nth file in the archive.
size_t get_num_files()
Get number of files in the archive.
mz_zip_archivet & operator=(const mz_zip_archivet &)=delete