cprover
|
#include <java_bytecode_parse_tree.h>
Public Member Functions | |
virtual void | output (std::ostream &out) const =0 |
membert () | |
Public Attributes | |
std::string | descriptor |
optionalt< 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 71 of file java_bytecode_parse_tree.h.
|
inline |
Definition at line 82 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 78 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfield_attribute(), and java_bytecode_parsert::rmethod_attribute().
std::string java_bytecode_parse_treet::membert::descriptor |
Definition at line 74 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_methodt::convert(), java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), java_bytecode_parsert::rmethod_attribute(), and java_bytecode_convert_methodt::setup_local_variables().
bool java_bytecode_parse_treet::membert::is_final |
Definition at line 77 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::rfields(), and java_bytecode_parsert::rmethod().
bool java_bytecode_parse_treet::membert::is_private |
Definition at line 77 of file java_bytecode_parse_tree.h.
Referenced by 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 77 of file java_bytecode_parse_tree.h.
Referenced by 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 77 of file java_bytecode_parse_tree.h.
Referenced by 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 77 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), and java_bytecode_convert_methodt::setup_local_variables().
irep_idt java_bytecode_parse_treet::membert::name |
Definition at line 76 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_methodt::convert(), java_bytecode_convert_method(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), and java_bytecode_parsert::rmethod_attribute().
optionalt<std::string> java_bytecode_parse_treet::membert::signature |
Definition at line 75 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_convert_method_lazy(), java_bytecode_parsert::rfield_attribute(), and java_bytecode_parsert::rmethod_attribute().