cprover
Loading...
Searching...
No Matches
name_and_type_infot Class Reference

Corresponds to the CONSTANT_NameAndType_info Structure Described in Java 8 specification 4.4.6. More...

Inheritance diagram for name_and_type_infot:
Collaboration diagram for name_and_type_infot:

Public Member Functions

 name_and_type_infot (const pool_entryt &entry)
std::string get_name (const pool_entry_lookupt &pool_entry) const
std::string get_descriptor (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
u2 descriptor_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_NameAndType_info Structure Described in Java 8 specification 4.4.6.

Definition at line 239 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

◆ name_and_type_infot()

name_and_type_infot::name_and_type_infot ( const pool_entryt & entry)
inlineexplicit

Definition at line 242 of file java_bytecode_parser.cpp.

Member Function Documentation

◆ get_descriptor()

std::string name_and_type_infot::get_descriptor ( const pool_entry_lookupt & pool_entry) const
inline

Definition at line 256 of file java_bytecode_parser.cpp.

◆ get_name()

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

Definition at line 250 of file java_bytecode_parser.cpp.

Member Data Documentation

◆ descriptor_index

u2 name_and_type_infot::descriptor_index
private

Definition at line 264 of file java_bytecode_parser.cpp.

◆ name_index

u2 name_and_type_infot::name_index
private

Definition at line 263 of file java_bytecode_parser.cpp.


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