cprover
|
#include <java_bytecode_parse_tree.h>
Public Member Functions | |
void | output (std::ostream &out) const |
fieldt () | |
![]() | |
membert () | |
bool | has_annotation (const irep_idt &annotation_id) const |
Public Attributes | |
bool | is_enum |
![]() | |
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 186 of file java_bytecode_parse_tree.h.
|
inline |
Definition at line 192 of file java_bytecode_parse_tree.h.
void java_bytecode_parse_treet::fieldt::output | ( | std::ostream & | out | ) | const |
Definition at line 197 of file java_bytecode_parse_tree.cpp.
bool java_bytecode_parse_treet::fieldt::is_enum |
Definition at line 188 of file java_bytecode_parse_tree.h.