cprover
base_ref_infot Class Reference
+ Inheritance diagram for base_ref_infot:
+ Collaboration diagram for base_ref_infot:

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 312 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

◆ base_ref_infot()

base_ref_infot::base_ref_infot ( pool_entryt  entry)
inlineexplicit

Definition at line 315 of file java_bytecode_parser.cpp.

Member Function Documentation

◆ get_class()

class_infot base_ref_infot::get_class ( pool_entry_lookupt  pool_entry) const
inline

Definition at line 345 of file java_bytecode_parser.cpp.

◆ get_class_index()

u2 base_ref_infot::get_class_index ( ) const
inline

Definition at line 324 of file java_bytecode_parser.cpp.

◆ get_name_and_type()

name_and_type_infot base_ref_infot::get_name_and_type ( pool_entry_lookupt  pool_entry) const
inline

Definition at line 333 of file java_bytecode_parser.cpp.

◆ get_name_and_type_index()

u2 base_ref_infot::get_name_and_type_index ( ) const
inline

Definition at line 328 of file java_bytecode_parser.cpp.

Member Data Documentation

◆ class_index

u2 base_ref_infot::class_index
private

Definition at line 353 of file java_bytecode_parser.cpp.

◆ name_and_type_index

u2 base_ref_infot::name_and_type_index
private

Definition at line 354 of file java_bytecode_parser.cpp.


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