cprover
java_bytecode_parse_treet::annotationt::element_value_pairt Class Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet::annotationt::element_value_pairt:
[legend]

Public Member Functions

void output (std::ostream &) const
 

Public Attributes

irep_idt element_name
 
exprt value
 

Detailed Description

Definition at line 41 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 92 of file java_bytecode_parse_tree.cpp.

References expr2java().

Member Data Documentation

◆ element_name

irep_idt java_bytecode_parse_treet::annotationt::element_value_pairt::element_name

Definition at line 44 of file java_bytecode_parse_tree.h.

◆ value

exprt java_bytecode_parse_treet::annotationt::element_value_pairt::value

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