cprover
|
#include <java_bytecode_parse_tree.h>
Public Member Functions | |
void | output (std::ostream &) const |
Public Attributes | |
irep_idt | element_name |
exprt | value |
Definition at line 41 of file java_bytecode_parse_tree.h.
void java_bytecode_parse_treet::annotationt::element_value_pairt::output | ( | std::ostream & | out | ) | const |
Definition at line 92 of file java_bytecode_parse_tree.cpp.
References expr2java().
irep_idt java_bytecode_parse_treet::annotationt::element_value_pairt::element_name |
Definition at line 44 of file java_bytecode_parse_tree.h.
exprt java_bytecode_parse_treet::annotationt::element_value_pairt::value |
Definition at line 45 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::relement_value_pair().