java_bytecode_parse_treet::annotationt::element_value_pairt Struct Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet::annotationt::element_value_pairt:

Public Member Functions
void	output (std::ostream &) const

Public Attributes
irep_idt	element_name
exprt	value

Detailed Description

Definition at line 36 of file java_bytecode_parse_tree.h.

Member Function Documentation

output()

void java_bytecode_parse_treet::annotationt::element_value_pairt::output

(

std::ostream &

out

)

const

Definition at line 78 of file java_bytecode_parse_tree.cpp.

Member Data Documentation

element_name

irep_idt java_bytecode_parse_treet::annotationt::element_value_pairt::element_name

Definition at line 38 of file java_bytecode_parse_tree.h.

value

exprt java_bytecode_parse_treet::annotationt::element_value_pairt::value

Definition at line 39 of file java_bytecode_parse_tree.h.

---

The documentation for this struct was generated from the following files:

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.h
• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.cpp