CBMC
|
A chache for jar_filet objects, by file name. More...
#include <jar_pool.h>
Public Member Functions | |
jar_filet & | operator() (const std::string &jar_path) |
Load jar archive or retrieve from cache if already loaded. More... | |
jar_filet & | add_jar (const std::string &buffer_name, const void *pmem, size_t size) |
Add a jar archive or retrieve from cache if already added. More... | |
Protected Attributes | |
std::map< std::string, jar_filet > | m_archives |
Jar files that have been loaded. More... | |
A chache for jar_filet objects, by file name.
Definition at line 18 of file jar_pool.h.
jar_filet & jar_poolt::add_jar | ( | const std::string & | buffer_name, |
const void * | pmem, | ||
size_t | size | ||
) |
Add a jar archive or retrieve from cache if already added.
Note that this mocks the existence of a file which may or may not exist since the actual data is retrieved from memory.
buffer_name | name of the original file |
pmem | memory pointer to the contents of the file |
size | size of the memory buffer |
Definition at line 21 of file jar_pool.cpp.
jar_filet & jar_poolt::operator() | ( | const std::string & | jar_path | ) |
Load jar archive or retrieve from cache if already loaded.
jar_path | name of the file |
Definition at line 12 of file jar_pool.cpp.
|
protected |
Jar files that have been loaded.
Definition at line 37 of file jar_pool.h.