cprover
|
#include <java_bytecode_parse_tree.h>
Public Member Functions | |
virtual void | output (std::ostream &out) const =0 |
membert () | |
Public Attributes | |
std::string | signature |
irep_idt | name |
bool | is_public |
bool | is_protected |
bool | is_private |
bool | is_static |
bool | is_final |
annotationst | annotations |
Definition at line 54 of file java_bytecode_parse_tree.h.
|
inline |
Definition at line 64 of file java_bytecode_parse_tree.h.
|
pure virtual |
Implemented in java_bytecode_parse_treet::fieldt, and java_bytecode_parse_treet::methodt.
annotationst java_bytecode_parse_treet::membert::annotations |
Definition at line 60 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::rfield_attribute(), and java_bytecode_parsert::rmethod_attribute().
bool java_bytecode_parse_treet::membert::is_final |
Definition at line 59 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_methodt::convert(), java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().
bool java_bytecode_parse_treet::membert::is_private |
Definition at line 59 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().
bool java_bytecode_parse_treet::membert::is_protected |
Definition at line 59 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().
bool java_bytecode_parse_treet::membert::is_public |
Definition at line 59 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().
bool java_bytecode_parse_treet::membert::is_static |
Definition at line 59 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_convert_methodt::convert(), java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().
irep_idt java_bytecode_parse_treet::membert::name |
Definition at line 58 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_convert_methodt::convert(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), and java_bytecode_parsert::rmethod_attribute().
std::string java_bytecode_parse_treet::membert::signature |
Definition at line 57 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_classt::convert(), java_bytecode_convert_methodt::convert(), java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), and java_bytecode_parsert::rmethod_attribute().