cprover
|
#include <java_bytecode_parse_tree.h>
Public Member Functions | |
membert () | |
bool | has_annotation (const irep_idt &annotation_id) const |
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 66 of file java_bytecode_parse_tree.h.
|
inline |
Definition at line 74 of file java_bytecode_parse_tree.h.
|
inline |
Definition at line 80 of file java_bytecode_parse_tree.h.
References annotations, and java_bytecode_parse_treet::find_annotation().
Referenced by java_bytecode_convert_classt::is_ignored_method(), and java_bytecode_convert_classt::is_overlay_method().
annotationst java_bytecode_parse_treet::membert::annotations |
Definition at line 72 of file java_bytecode_parse_tree.h.
Referenced by has_annotation(), 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 68 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 71 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 71 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 71 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 71 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 71 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 70 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 69 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().