structured_pool_entryt Class Reference

Inheritance diagram for structured_pool_entryt:

Public Types
using	pool_entryt = java_bytecode_parsert::pool_entryt
using	pool_entry_lookupt = std::function< pool_entryt &(u2)>

Public Member Functions
	structured_pool_entryt (const pool_entryt &entry)
u1	get_tag () const

Static Protected Member Functions
static std::string	read_utf8_constant (const pool_entryt &entry)

Private Attributes
u1	tag

Detailed Description

Definition at line 189 of file java_bytecode_parser.cpp.

Member Typedef Documentation

pool_entry_lookupt

using structured_pool_entryt::pool_entry_lookupt = std::function<pool_entryt &(u2)>

Definition at line 193 of file java_bytecode_parser.cpp.

pool_entryt

using structured_pool_entryt::pool_entryt = java_bytecode_parsert::pool_entryt

Definition at line 192 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

structured_pool_entryt()

structured_pool_entryt::structured_pool_entryt ( const pool_entryt &  entry )

inlineexplicit

Definition at line 195 of file java_bytecode_parser.cpp.

Member Function Documentation

get_tag()

u1 structured_pool_entryt::get_tag ( ) const

inline

Definition at line 199 of file java_bytecode_parser.cpp.

read_utf8_constant()

static std::string structured_pool_entryt::read_utf8_constant ( const pool_entryt &  entry )

inlinestaticprotected

Definition at line 205 of file java_bytecode_parser.cpp.

Member Data Documentation

tag

u1 structured_pool_entryt::tag

private

Definition at line 213 of file java_bytecode_parser.cpp.

---

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

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parser.cpp