cprover
|
#include <jar_file.h>
Public Member Functions | |
jar_filet & | operator() (java_class_loader_limitt &class_loader_limit, const std::string &file_name) |
Protected Types | |
typedef std::map< std::string, jar_filet > | file_mapt |
Protected Attributes | |
file_mapt | file_map |
std::string | java_cp_include_files |
Additional Inherited Members |
Definition at line 52 of file jar_file.h.
|
protected |
Definition at line 72 of file jar_file.h.
|
inline |
Definition at line 55 of file jar_file.h.
References file_map, messaget::get_message_handler(), jar_filet::open(), and messaget::set_message_handler().
|
protected |
Definition at line 73 of file jar_file.h.
Referenced by operator()().
|
protected |
Definition at line 74 of file jar_file.h.