java_bytecode_parse_treet::annotationt Class Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet::annotationt:

Classes
class	element_value_pairt

Public Types
typedef std::vector< element_value_pairt >	element_value_pairst

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

Public Attributes
typet	type
element_value_pairst	element_value_pairs

Detailed Description

Definition at line 23 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

element_value_pairst

typedef std::vector<element_value_pairt> java_bytecode_parse_treet::annotationt::element_value_pairst

Definition at line 36 of file java_bytecode_parse_tree.h.

Member Function Documentation

output()

void java_bytecode_parse_treet::annotationt::output

(

std::ostream &

out

)

const

Definition at line 80 of file java_bytecode_parse_tree.cpp.

References type2java().

Member Data Documentation

element_value_pairs

element_value_pairst java_bytecode_parse_treet::annotationt::element_value_pairs

Definition at line 37 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rRuntimeAnnotation().

type

typet java_bytecode_parse_treet::annotationt::type

Definition at line 26 of file java_bytecode_parse_tree.h.

Referenced by java_bytecode_parsert::rRuntimeAnnotation().

---

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

• java_bytecode/java_bytecode_parse_tree.h
• java_bytecode/java_bytecode_parse_tree.cpp