mz_zip_archive.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: mz_zip library wrapper
 
Author: Diffblue Ltd
 
\*******************************************************************/
 
#ifndef CPROVER_JAVA_BYTECODE_MZ_ZIP_ARCHIVE_H
#define CPROVER_JAVA_BYTECODE_MZ_ZIP_ARCHIVE_H
 
#include <string>
#include <memory>
 
class mz_zip_archive_statet;
 
class mz_zip_archivet final
{
public:
  explicit mz_zip_archivet(const std::string &filename);
 
  mz_zip_archivet(const void *data, size_t size);
 
  mz_zip_archivet(const mz_zip_archivet &)=delete;
  mz_zip_archivet &operator=(const mz_zip_archivet &)=delete;
  mz_zip_archivet(mz_zip_archivet &&other);
  mz_zip_archivet &operator=(mz_zip_archivet &&other);
  ~mz_zip_archivet();
 
  size_t get_num_files();
  std::string get_filename(size_t index);
  std::string extract(size_t index);
  void extract_to_file(size_t index, const std::string &path);
 
private:
  std::unique_ptr<mz_zip_archive_statet> m_state;
};
class mz_zip_archivet final {…};
 
#endif // CPROVER_JAVA_BYTECODE_MZ_ZIP_ARCHIVE_H