cprover
|
#include <java_bytecode_parse_tree.h>
Public Types | |
typedef std::list< irep_idt > | implementst |
typedef std::list< fieldt > | fieldst |
typedef std::list< methodt > | methodst |
Public Member Functions | |
fieldt & | add_field () |
methodt & | add_method () |
void | output (std::ostream &out) const |
void | swap (classt &other) |
Public Attributes | |
irep_idt | name |
irep_idt | extends |
bool | is_abstract =false |
bool | is_enum =false |
size_t | enum_elements =0 |
implementst | implements |
fieldst | fields |
methodst | methods |
annotationst | annotations |
Definition at line 166 of file java_bytecode_parse_tree.h.
typedef std::list<fieldt> java_bytecode_parse_treet::classt::fieldst |
Definition at line 177 of file java_bytecode_parse_tree.h.
typedef std::list<irep_idt> java_bytecode_parse_treet::classt::implementst |
Definition at line 174 of file java_bytecode_parse_tree.h.
typedef std::list<methodt> java_bytecode_parse_treet::classt::methodst |
Definition at line 178 of file java_bytecode_parse_tree.h.
|
inline |
Definition at line 183 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::rfields().
|
inline |
Definition at line 189 of file java_bytecode_parse_tree.h.
References java_bytecode_parse_treet::annotationt::element_value_pairt::output(), and java_bytecode_parse_treet::swap().
Referenced by java_bytecode_parsert::rmethod().
void java_bytecode_parse_treet::classt::output | ( | std::ostream & | out | ) | const |
Definition at line 45 of file java_bytecode_parse_tree.cpp.
References annotations, dstringt::empty(), extends, fields, methods, and name.
Referenced by java_bytecode_parse_treet::output().
void java_bytecode_parse_treet::classt::swap | ( | classt & | other | ) |
Definition at line 20 of file java_bytecode_parse_tree.cpp.
References annotations, enum_elements, extends, fields, implements, is_abstract, is_enum, methods, name, and dstringt::swap().
Referenced by java_bytecode_parse_treet::swap().
annotationst java_bytecode_parse_treet::classt::annotations |
Definition at line 181 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parse_treet::methodt::output(), java_bytecode_parse_treet::fieldt::output(), output(), java_bytecode_parsert::rclass_attribute(), and swap().
size_t java_bytecode_parse_treet::classt::enum_elements =0 |
Definition at line 172 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_parsert::rClassFile(), and swap().
irep_idt java_bytecode_parse_treet::classt::extends |
Definition at line 169 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), output(), java_bytecode_parsert::rClassFile(), and swap().
fieldst java_bytecode_parse_treet::classt::fields |
Definition at line 179 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_parsert::get_class_refs(), output(), java_bytecode_parsert::rClassFile(), and swap().
implementst java_bytecode_parse_treet::classt::implements |
Definition at line 175 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_parsert::rinterfaces(), and swap().
bool java_bytecode_parse_treet::classt::is_abstract =false |
Definition at line 170 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::rClassFile(), and swap().
bool java_bytecode_parse_treet::classt::is_enum =false |
Definition at line 171 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_parsert::rClassFile(), and swap().
methodst java_bytecode_parse_treet::classt::methods |
Definition at line 180 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_parsert::get_class_refs(), output(), java_bytecode_parsert::rclass_attribute(), and swap().
irep_idt java_bytecode_parse_treet::classt::name |
Definition at line 169 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_class_loadert::get_parse_tree(), java_bytecode_convert_classt::operator()(), java_bytecode_parse_treet::methodt::output(), java_bytecode_parse_treet::fieldt::output(), output(), java_bytecode_parsert::rclass_attribute(), java_bytecode_parsert::rClassFile(), java_bytecode_parsert::rmethod_attribute(), and swap().