jar_file.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Jar file reader
 
Author: Diffblue Ltd
 
\*******************************************************************/
 
#ifndef CPROVER_JAVA_BYTECODE_JAR_FILE_H
#define CPROVER_JAVA_BYTECODE_JAR_FILE_H
 
#include <unordered_map>
#include <string>
#include <vector>
 
#include <util/optional.h>
 
#include "mz_zip_archive.h"
 
class jar_filet final
{
public:
  explicit jar_filet(const std::string &filename);
 
  jar_filet(const void *data, size_t size);
 
  jar_filet(const jar_filet &)=delete;
  jar_filet &operator=(const jar_filet &)=delete;
  jar_filet(jar_filet &&);
  jar_filet &operator=(jar_filet &&);
  ~jar_filet()=default;
 
  optionalt<std::string> get_entry(const std::string &filename);
 
  std::unordered_map<std::string, std::string> get_manifest();
 
  std::vector<std::string> filenames() const;
 
private:
  void initialize_file_index();
 
  mz_zip_archivet m_zip_archive;
 
  std::unordered_map<std::string, size_t> m_name_to_index;
};
 
#endif // CPROVER_JAVA_BYTECODE_JAR_FILE_H