cprover
|
#include <java_bytecode_parse_tree.h>
Classes | |
class | annotationt |
class | classt |
class | fieldt |
class | instructiont |
class | membert |
class | methodt |
Public Types | |
typedef std::vector< annotationt > | annotationst |
typedef std::set< irep_idt > | class_refst |
Public Member Functions | |
void | swap (java_bytecode_parse_treet &other) |
void | output (std::ostream &out) const |
java_bytecode_parse_treet () | |
Public Attributes | |
classt | parsed_class |
class_refst | class_refs |
bool | loading_successful |
Definition at line 20 of file java_bytecode_parse_tree.h.
typedef std::vector<annotationt> java_bytecode_parse_treet::annotationst |
Definition at line 42 of file java_bytecode_parse_tree.h.
typedef std::set<irep_idt> java_bytecode_parse_treet::class_refst |
Definition at line 211 of file java_bytecode_parse_tree.h.
|
inline |
Definition at line 216 of file java_bytecode_parse_tree.h.
void java_bytecode_parse_treet::output | ( | std::ostream & | out | ) | const |
Definition at line 34 of file java_bytecode_parse_tree.cpp.
References class_refs, java_bytecode_parse_treet::classt::output(), and parsed_class.
|
inline |
Definition at line 202 of file java_bytecode_parse_tree.h.
References class_refs, loading_successful, parsed_class, and java_bytecode_parse_treet::classt::swap().
Referenced by java_bytecode_parse().
class_refst java_bytecode_parse_treet::class_refs |
Definition at line 212 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::get_class_refs_rec(), java_class_loadert::operator()(), output(), and swap().
bool java_bytecode_parse_treet::loading_successful |
Definition at line 214 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::operator()(), java_bytecode_parsert::rClassFile(), and swap().
classt java_bytecode_parse_treet::parsed_class |
Definition at line 200 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::get_class_refs(), java_class_loadert::get_parse_tree(), java_bytecode_convert_classt::operator()(), output(), java_bytecode_parsert::rClassFile(), java_bytecode_parsert::rmethod_attribute(), and swap().