CBMC
Loading...
Searching...
No Matches
Public Member Functions | Private Attributes | List of all members
class_infot Class Reference

Corresponds to the CONSTANT_Class_info Structure Described in Java 8 specification 4.4.1. More...

+ Inheritance diagram for class_infot:
[フレーム]
[legend]
+ Collaboration diagram for class_infot:
[フレーム]
[legend]

Public Member Functions

  class_infot (const pool_entryt &entry)
 
std::string  get_name (const pool_entry_lookupt &pool_entry) const
 
- Public Member Functions inherited from structured_pool_entryt
  structured_pool_entryt (const pool_entryt &entry)
 
u1  get_tag () const
 

Private Attributes

u2  name_index
 

Additional Inherited Members

- Public Types inherited from structured_pool_entryt
using  pool_entryt = java_bytecode_parsert::pool_entryt
 
using  pool_entry_lookupt = std::function< pool_entryt &(u2)>
 
- Static Protected Member Functions inherited from structured_pool_entryt
static std::string  read_utf8_constant (const pool_entryt &entry)
 

Detailed Description

Corresponds to the CONSTANT_Class_info Structure Described in Java 8 specification 4.4.1.

Definition at line 218 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

◆  class_infot()

class_infot::class_infot ( const pool_entryt &  entry )
inlineexplicit

Definition at line 221 of file java_bytecode_parser.cpp.

Member Function Documentation

◆  get_name()

std::string class_infot::get_name ( const pool_entry_lookupt &  pool_entry ) const
inline

Definition at line 227 of file java_bytecode_parser.cpp.

Member Data Documentation

◆  name_index

u2 class_infot::name_index
private

Definition at line 234 of file java_bytecode_parser.cpp.

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

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