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 "mz_zip_archive.h"
 
#include <optional>
#include <string>
#include <unordered_map>
#include <vector>

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;

  std::optional<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