jar_pool.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#ifndef CPROVER_JAVA_BYTECODE_JAR_POOL_H
#define CPROVER_JAVA_BYTECODE_JAR_POOL_H
 
#include <map>
#include <string>
 
#include "jar_file.h"
 
class jar_poolt
{
public:
  // Throws an exception if the file does not exist
  jar_filet &operator()(const std::string &jar_path);
 
  jar_filet &
  add_jar(const std::string &buffer_name, const void *pmem, size_t size);
 
protected:
  std::map<std::string, jar_filet> m_archives;
};
class jar_poolt {…};
 
#endif // CPROVER_JAVA_BYTECODE_JAVA_CLASS_LOADER_H