cprover
java_class_loadert Class Reference

#include <java_class_loader.h>

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

Classes

class  jar_map_entryt
 

Public Types

typedef std::map< irep_idt, java_bytecode_parse_treetclass_mapt
 
typedef std::map< irep_idt, jar_map_entrytjar_mapt
 
- 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

java_bytecode_parse_treetoperator() (const irep_idt &)
 
void set_java_cp_include_files (std::string &)
 
void add_jar_file (const std::string &f)
 
void load_entire_jar (java_class_loader_limitt &, const std::string &f)
 
void read_jar_file (java_class_loader_limitt &, const irep_idt &)
 
java_bytecode_parse_treetget_parse_tree (java_class_loader_limitt &, const irep_idt &)
 
- 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 ()
 

Static Public Member Functions

static std::string file_to_class_name (const std::string &)
 
static std::string class_name_to_file (const irep_idt &)
 
- Static Public Member Functions inherited from messaget
static mstreamteom (mstreamt &m)
 
static mstreamtendl (mstreamt &m)
 

Public Attributes

class_mapt class_map
 
jar_poolt jar_pool
 
jar_mapt jar_map
 
std::list< std::string > jar_files
 
std::string java_cp_include_files
 

Additional Inherited Members

- Protected Attributes inherited from messaget
message_handlertmessage_handler
 
mstreamt mstream
 

Detailed Description

Definition at line 23 of file java_class_loader.h.

Member Typedef Documentation

◆ class_mapt

◆ jar_mapt

Definition at line 60 of file java_class_loader.h.

Member Function Documentation

◆ add_jar_file()

void java_class_loadert::add_jar_file ( const std::string &  f)
inline

Definition at line 37 of file java_class_loader.h.

References jar_files.

Referenced by java_bytecode_languaget::parse().

◆ class_name_to_file()

std::string java_class_loadert::class_name_to_file ( const irep_idt class_name)
static

Definition at line 242 of file java_class_loader.cpp.

References id2string(), and messaget::result().

Referenced by get_parse_tree().

◆ file_to_class_name()

std::string java_class_loadert::file_to_class_name ( const std::string &  file)
static

◆ get_parse_tree()

◆ load_entire_jar()

void java_class_loadert::load_entire_jar ( java_class_loader_limitt class_loader_limit,
const std::string &  f 
)

Definition at line 164 of file java_class_loader.cpp.

References jar_files, jar_map, operator()(), and read_jar_file().

Referenced by java_bytecode_languaget::parse().

◆ operator()()

◆ read_jar_file()

void java_class_loadert::read_jar_file ( java_class_loader_limitt class_loader_limit,
const irep_idt file 
)

◆ set_java_cp_include_files()

void java_class_loadert::set_java_cp_include_files ( std::string &  _java_cp_include_files)

Member Data Documentation

◆ class_map

◆ jar_files

std::list<std::string> java_class_loadert::jar_files

Definition at line 69 of file java_class_loader.h.

Referenced by add_jar_file(), get_parse_tree(), and load_entire_jar().

◆ jar_map

jar_mapt java_class_loadert::jar_map

◆ jar_pool

jar_poolt java_class_loadert::jar_pool

◆ java_cp_include_files

std::string java_class_loadert::java_cp_include_files

Definition at line 70 of file java_class_loader.h.

Referenced by operator()(), and set_java_cp_include_files().


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