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

References class_index, CONSTANT_Fieldref, CONSTANT_InterfaceMethodref, CONSTANT_Methodref, name_and_type_index, PRECONDITION, java_bytecode_parsert::pool_entryt::ref1, java_bytecode_parsert::pool_entryt::ref2, and java_bytecode_parsert::pool_entryt::tag.

Member Function Documentation

get_class()

class_infot base_ref_infot::get_class ( pool_entry_lookupt  pool_entry ) const

inline

Definition at line 335 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 314 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

Definition at line 323 of file java_bytecode_parser.cpp.

References CONSTANT_NameAndType, INVARIANT, name_and_type_index, and java_bytecode_parsert::pool_entryt::tag.

Referenced by java_bytecode_parsert::parse_method_handle().

get_name_and_type_index()

u2 base_ref_infot::get_name_and_type_index ( ) const

inline

Definition at line 318 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 343 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

Definition at line 344 of file java_bytecode_parser.cpp.

Referenced by base_ref_infot(), get_name_and_type(), and get_name_and_type_index().

---

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

• /builddir/build/BUILD/cbmc-cbmc-5.10/jbmc/src/java_bytecode/java_bytecode_parser.cpp