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

Constructor & Destructor Documentation

◆ name_and_type_infot()

name_and_type_infot::name_and_type_infot ( java_bytecode_parsert::pool_entryt entry )

inlineexplicit

Definition at line 277 of file java_bytecode_parser.cpp.

References CONSTANT_NameAndType, descriptor_index, name_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_descriptor()

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

inline

Definition at line 291 of file java_bytecode_parser.cpp.

References descriptor_index, and structured_pool_entryt::read_utf8_constant().

Referenced by java_bytecode_parsert::parse_method_handle().

◆ get_name()

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

inline

Definition at line 285 of file java_bytecode_parser.cpp.

References name_index, and structured_pool_entryt::read_utf8_constant().

Referenced by java_bytecode_parsert::parse_method_handle().

Member Data Documentation

◆ descriptor_index

u2 name_and_type_infot::descriptor_index

private

Definition at line 299 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 298 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:

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

Public Member Functions

Private Attributes

Additional Inherited Members