cprover
|
#include <config.h>
Public Types | |
typedef std::list< std::string > | classpatht |
Public Attributes | |
classpatht | classpath |
irep_idt | main_class |
typedef std::list<std::string> configt::javat::classpatht |
classpatht configt::javat::classpath |
Definition at line 142 of file config.h.
Referenced by java_bytecode_languaget::get_language_options(), java_class_loadert::get_parse_tree(), and configt::set_classpath().
irep_idt configt::javat::main_class |
Definition at line 143 of file config.h.
Referenced by java_bytecode_languaget::parse(), and configt::set().