cprover
base_ref_infot Class Reference
Inheritance diagram for base_ref_infot:
[legend]
Collaboration diagram for base_ref_infot:
[legend]

Public Member Functions

 base_ref_infot (pool_entryt entry)
 
u2 get_class_index () const
 
u2 get_name_and_type_index () const
 
name_and_type_infot get_name_and_type (pool_entry_lookupt pool_entry) const
 
class_infot get_class (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 class_index
 
u2 name_and_type_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

Definition at line 299 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

◆ base_ref_infot()

Member Function Documentation

◆ get_class()

class_infot base_ref_infot::get_class ( pool_entry_lookupt  pool_entry) const
inline

Definition at line 332 of file java_bytecode_parser.cpp.

References class_index.

Referenced by java_bytecode_parsert::parse_method_handle().

◆ get_class_index()

u2 base_ref_infot::get_class_index ( ) const
inline

Definition at line 311 of file java_bytecode_parser.cpp.

References class_index.

◆ get_name_and_type()

name_and_type_infot base_ref_infot::get_name_and_type ( pool_entry_lookupt  pool_entry) const
inline

◆ get_name_and_type_index()

u2 base_ref_infot::get_name_and_type_index ( ) const
inline

Definition at line 315 of file java_bytecode_parser.cpp.

References name_and_type_index.

Member Data Documentation

◆ class_index

u2 base_ref_infot::class_index
private

Definition at line 340 of file java_bytecode_parser.cpp.

Referenced by base_ref_infot(), get_class(), and get_class_index().

◆ name_and_type_index

u2 base_ref_infot::name_and_type_index
private

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