cprover
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:
[legend]
Collaboration diagram for name_and_type_infot:
[legend]

Public Member Functions

 name_and_type_infot (java_bytecode_parsert::pool_entryt entry)
 
std::string get_name (pool_entry_lookupt pool_entry) const
 
std::string get_descriptor (pool_entry_lookupt pool_entry) const
 
- Public Member Functions inherited from structured_pool_entryt
 structured_pool_entryt (java_bytecode_parsert::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
typedef std::function< java_bytecode_parsert::pool_entryt &(u2)> pool_entry_lookupt
 
typedef java_bytecode_parsert::pool_entryt pool_entryt
 
- 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 271 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

◆ name_and_type_infot()

Member Function Documentation

◆ get_descriptor()

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

◆ get_name()

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

Member Data Documentation

◆ descriptor_index

u2 name_and_type_infot::descriptor_index
private

Definition at line 296 of file java_bytecode_parser.cpp.

Referenced by get_descriptor(), and name_and_type_infot().

◆ name_index

u2 name_and_type_infot::name_index
private

Definition at line 295 of file java_bytecode_parser.cpp.

Referenced by get_name(), and name_and_type_infot().


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