structured_pool_entryt Class Reference

Inheritance diagram for structured_pool_entryt:

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

Public Member Functions
	structured_pool_entryt (java_bytecode_parsert::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 232 of file java_bytecode_parser.cpp.

Member Typedef Documentation

pool_entry_lookupt

typedef std::function<java_bytecode_parsert::pool_entryt &(u2)> structured_pool_entryt::pool_entry_lookupt

Definition at line 246 of file java_bytecode_parser.cpp.

pool_entryt

typedef java_bytecode_parsert::pool_entryt structured_pool_entryt::pool_entryt

Definition at line 247 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

structured_pool_entryt()

structured_pool_entryt::structured_pool_entryt ( java_bytecode_parsert::pool_entryt  entry )

inlineexplicit

Definition at line 235 of file java_bytecode_parser.cpp.

Member Function Documentation

get_tag()

u1 structured_pool_entryt::get_tag ( ) const

inline

Definition at line 240 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 250 of file java_bytecode_parser.cpp.

Member Data Documentation

tag

u1 structured_pool_entryt::tag

private

Definition at line 258 of file java_bytecode_parser.cpp.

---

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

• /builddir/build/BUILD/cbmc-cbmc-5.11/jbmc/src/java_bytecode/java_bytecode_parser.cpp