cprover
jar_filet Class Reference

#include <jar_file.h>

Inheritance diagram for jar_filet:
[legend]
Collaboration diagram for jar_filet:
[legend]

Public Types

typedef std::map< irep_idt, size_t > filtered_jart
 
typedef std::map< std::string, std::string > manifestt
 
- Public Types inherited from messaget
enum  message_levelt {
  M_ERROR =1, M_WARNING =2, M_RESULT =4, M_STATUS =6,
  M_STATISTICS =8, M_PROGRESS =9, M_DEBUG =10
}
 

Public Member Functions

 jar_filet ()
 
 ~jar_filet ()
 
void open (java_class_loader_limitt &, const std::string &)
 
 operator bool () const
 
std::string get_entry (const irep_idt &)
 
manifestt get_manifest ()
 
- Public Member Functions inherited from messaget
virtual void set_message_handler (message_handlert &_message_handler)
 
message_handlertget_message_handler ()
 
 messaget ()
 
 messaget (const messaget &other)
 
 messaget (message_handlert &_message_handler)
 
virtual ~messaget ()
 
mstreamtget_mstream (unsigned message_level)
 
mstreamterror ()
 
mstreamtwarning ()
 
mstreamtresult ()
 
mstreamtstatus ()
 
mstreamtstatistics ()
 
mstreamtprogress ()
 
mstreamtdebug ()
 

Public Attributes

filtered_jart filtered_jar
 

Protected Attributes

mz_zip_archive zip
 
bool mz_ok
 
- Protected Attributes inherited from messaget
message_handlertmessage_handler
 
mstreamt mstream
 

Additional Inherited Members

- Static Public Member Functions inherited from messaget
static mstreamteom (mstreamt &m)
 
static mstreamtendl (mstreamt &m)
 

Detailed Description

Definition at line 26 of file jar_file.h.

Member Typedef Documentation

§ filtered_jart

typedef std::map<irep_idt, size_t> jar_filet::filtered_jart

Definition at line 39 of file jar_file.h.

§ manifestt

typedef std::map<std::string, std::string> jar_filet::manifestt

Definition at line 44 of file jar_file.h.

Constructor & Destructor Documentation

§ jar_filet()

jar_filet::jar_filet ( )
inline

Definition at line 29 of file jar_file.h.

References open(), and ~jar_filet().

§ ~jar_filet()

jar_filet::~jar_filet ( )

Definition at line 59 of file jar_file.cpp.

References mz_ok, mz_zip_reader_end(), and zip.

Referenced by jar_filet().

Member Function Documentation

§ get_entry()

std::string jar_filet::get_entry ( const irep_idt name)

§ get_manifest()

jar_filet::manifestt jar_filet::get_manifest ( )

Definition at line 97 of file jar_file.cpp.

References filtered_jar, get_entry(), and pos().

§ open()

§ operator bool()

jar_filet::operator bool ( ) const
inlineexplicit

Definition at line 36 of file jar_file.h.

References mz_ok.

Member Data Documentation

§ filtered_jar

filtered_jart jar_filet::filtered_jar

Definition at line 40 of file jar_file.h.

Referenced by get_entry(), get_manifest(), open(), and java_class_loadert::read_jar_file().

§ mz_ok

bool jar_filet::mz_ok
protected

Definition at line 49 of file jar_file.h.

Referenced by get_entry(), open(), operator bool(), and ~jar_filet().

§ zip

mz_zip_archive jar_filet::zip
protected

Definition at line 48 of file jar_file.h.

Referenced by get_entry(), open(), and ~jar_filet().


The documentation for this class was generated from the following files: