CBMC
Public Types | Public Member Functions | Static Protected Member Functions | Private Attributes | List of all members
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 179 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 183 of file java_bytecode_parser.cpp.

◆ pool_entryt

using structured_pool_entryt::pool_entryt = java_bytecode_parsert::pool_entryt

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

Member Function Documentation

◆ get_tag()

u1 structured_pool_entryt::get_tag ( ) const
inline

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

Member Data Documentation

◆ tag

u1 structured_pool_entryt::tag
private

Definition at line 203 of file java_bytecode_parser.cpp.

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