cprover
|
#include <java_bytecode_parse_tree.h>
Public Member Functions | |
virtual void | output (std::ostream &out) const |
![]() | |
membert () | |
Public Attributes | |
bool | is_enum |
![]() | |
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 159 of file java_bytecode_parse_tree.h.
|
virtual |
Implements java_bytecode_parse_treet::membert.
Definition at line 194 of file java_bytecode_parse_tree.cpp.
References java_bytecode_parse_treet::classt::annotations, and java_bytecode_parse_treet::classt::name.
bool java_bytecode_parse_treet::fieldt::is_enum |
Definition at line 163 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::rClassFile(), and java_bytecode_parsert::rfields().