cprover
|
#include <config.h>
Public Types | |
typedef std::list< std::string > | classpatht |
Public Attributes | |
classpatht | classpath |
irep_idt | main_class |
Static Public Attributes | |
static const std::size_t | default_object_bits =16 |
typedef std::list<std::string> configt::javat::classpatht |
classpatht configt::javat::classpath |
Definition at line 147 of file config.h.
Referenced by java_bytecode_languaget::get_language_options(), java_class_loadert::get_parse_tree(), load_java_class(), and configt::set_classpath().
|
static |
Definition at line 150 of file config.h.
Referenced by configt::set_object_bits_from_symbol_table().
irep_idt configt::javat::main_class |
Definition at line 148 of file config.h.
Referenced by java_bytecode_languaget::parse(), and configt::set().