|
cprover
|
#include <java_bytecode_parse_tree.h>
Public Member Functions | |
| virtual void | output (std::ostream &out) const |
Public Member Functions inherited from java_bytecode_parse_treet::membert | |
| membert () | |
Public Attributes | |
| bool | is_enum |
Public Attributes inherited from java_bytecode_parse_treet::membert | |
| 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.
| 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().