CBMC: java_bytecode_parse_treet::annotationt Struct Reference

CBMC

Loading...

Searching...

No Matches

Classes | Public Types | Public Member Functions | Public Attributes | List of all members

java_bytecode_parse_treet::annotationt Struct Reference

#include <java_bytecode_parse_tree.h>

+ Collaboration diagram for java_bytecode_parse_treet::annotationt:

Classes

struct element_value_pairt

Public Types

typedef std::vector< element_value_pairt > element_value_pairst

Public Member Functions

void output (std::ostream &) const

Public Attributes

element_value_pairst element_value_pairs

Detailed Description

Definition at line 32 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 43 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 53 of file java_bytecode_parse_tree.cpp.

Member Data Documentation

◆ element_value_pairs

element_value_pairst java_bytecode_parse_treet::annotationt::element_value_pairs

Definition at line 44 of file java_bytecode_parse_tree.h.

◆ type

typet java_bytecode_parse_treet::annotationt::type

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