Loading...
Searching...
No Matches
jar_poolt Class Reference
A chache for jar_filet objects, by file name.
More...
#include <jar_pool.h>
+ Collaboration diagram for jar_poolt:
Load jar archive or retrieve from cache if already loaded.
Add a jar archive or retrieve from cache if already added.
Jar files that have been loaded.
Detailed Description
Member Function Documentation
◆ add_jar()
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()()
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
std::map<std::string,
jar_filet> jar_poolt::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/cbmc/jbmc/src/java_bytecode/jar_pool.h
- /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/jar_pool.cpp