CBMC
Loading...
Searching...
No Matches
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:
[フレーム]
[legend]

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:

AltStyle によって変換されたページ (->オリジナル) /