cprover
java_bytecode_parse_treet::annotationt Class Reference

#include <java_bytecode_parse_tree.h>

Collaboration diagram for java_bytecode_parse_treet::annotationt:
[legend]

Classes

class  element_value_pairt
 

Public Types

typedef std::vector< element_value_pairtelement_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 36 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

◆ element_value_pairst

Member Function Documentation

◆ output()

void java_bytecode_parse_treet::annotationt::output ( std::ostream &  out) const

Definition at line 67 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

◆ type

typet java_bytecode_parse_treet::annotationt::type

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