cprover
java_class_loadert Member List
This is the complete list of members for
java_class_loadert
, including all inherited members.
add_classpath_entry
(const std::string &)
java_class_loader_baset
add_load_classes
(const std::vector< irep_idt > &classes)
java_class_loadert
inline
blue
messaget
static
bold
messaget
static
bright_blue
messaget
static
bright_cyan
messaget
static
bright_green
messaget
static
bright_magenta
messaget
static
bright_red
messaget
static
bright_yellow
messaget
static
can_load_class
(const irep_idt &class_name)
java_class_loadert
class_map
java_class_loadert
private
class_name_to_jar_file
(const irep_idt &)
java_class_loader_baset
static
class_name_to_os_file
(const irep_idt &)
java_class_loader_baset
static
classpath_entries
java_class_loader_baset
protected
clear_classpath
()
java_class_loader_baset
inline
command
(unsigned c)
messaget
inline
static
conditional_output
(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const
messaget
cyan
messaget
static
debug
() const
messaget
inline
eom
messaget
static
error
() const
messaget
inline
eval_verbosity
(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)
messaget
static
faint
messaget
static
file_to_class_name
(const std::string &)
java_class_loader_baset
static
get_class_from_directory
(const irep_idt &class_name, const std::string &path)
java_class_loader_baset
protected
get_class_from_jar
(const irep_idt &class_name, const std::string &jar_file)
java_class_loader_baset
protected
get_class_with_overlays_map
()
java_class_loadert
inline
get_extra_class_refs
java_class_loadert
private
get_extra_class_refs_functiont
typedef
java_class_loadert
get_message_handler
()
messaget
inline
get_mstream
(unsigned message_level) const
messaget
inline
get_original_class
(const irep_idt &class_name)
java_class_loadert
inline
get_parse_tree
(java_class_loader_limitt &class_loader_limit, const irep_idt &class_name)
java_class_loadert
green
messaget
static
italic
messaget
static
jar_pool
java_class_loader_baset
java_class_loadert
()
java_class_loadert
inline
java_cp_include_files
java_class_loadert
private
java_load_classes
java_class_loadert
private
load_class
(const irep_idt &class_name, const classpath_entryt &)
java_class_loader_baset
protected
load_entire_jar
(const std::string &jar_path)
java_class_loadert
M_DEBUG
enum value
messaget
M_ERROR
enum value
messaget
M_PROGRESS
enum value
messaget
M_RESULT
enum value
messaget
M_STATISTICS
enum value
messaget
M_STATUS
enum value
messaget
M_WARNING
enum value
messaget
magenta
messaget
static
message_handler
messaget
protected
message_levelt
enum name
messaget
messaget
()
messaget
inline
messaget
(const messaget &other)
messaget
inline
messaget
(message_handlert &_message_handler)
messaget
inline
explicit
mstream
messaget
mutable
protected
operator()
(const irep_idt &class_name)
java_class_loadert
operator=
(const messaget &other)
messaget
inline
parse_tree_with_overlayst
typedef
java_class_loadert
parse_tree_with_overridest_mapt
typedef
java_class_loadert
progress
() const
messaget
inline
read_jar_file
(const std::string &jar_path)
java_class_loadert
private
red
messaget
static
reset
messaget
static
result
() const
messaget
inline
set_extra_class_refs_function
(get_extra_class_refs_functiont func)
java_class_loadert
inline
set_java_cp_include_files
(const std::string &cp_include_files)
java_class_loadert
inline
set_message_handler
(message_handlert &_message_handler)
messaget
inline
virtual
statistics
() const
messaget
inline
status
() const
messaget
inline
underline
messaget
static
warning
() const
messaget
inline
yellow
messaget
static
~messaget
()
messaget
virtual
Generated by
1.8.20