jar_poolt Class Reference
A chache for jar_filet objects, by file name. More...
#include <jar_pool.h>
Collaboration diagram for jar_poolt: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... | |
Detailed Description
A chache for jar_filet objects, by file name.
Definition at line 18 of file jar_pool.h.
Member Function Documentation
◆ add_jar()
| 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.
- Parameters
-
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.
◆ operator()()
| jar_filet & jar_poolt::operator() | ( | const std::string & | jar_path | ) |
Load jar archive or retrieve from cache if already loaded.
- Parameters
-
jar_path name of the file
Definition at line 12 of file jar_pool.cpp.
Member Data Documentation
◆ m_archives
|
protected |
Jar files that have been loaded.
Definition at line 37 of file jar_pool.h.
The documentation for this class was generated from the following files:
- /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/jar_pool.h
- /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/jar_pool.cpp
