class_infot Class Reference

Corresponds to the CONSTANT_Class_info Structure Described in Java 8 specification 4.4.1. More...

Inheritance diagram for class_infot:

Collaboration diagram for class_infot:

Public Member Functions
	class_infot (const pool_entryt &entry)
std::string	get_name (const pool_entry_lookupt &pool_entry) const
Public Member Functions inherited from structured_pool_entryt
	structured_pool_entryt (const pool_entryt &entry)
u1	get_tag () const

Private Attributes
u2	name_index

Additional Inherited Members
Public Types inherited from structured_pool_entryt
using	pool_entryt = java_bytecode_parsert::pool_entryt
using	pool_entry_lookupt = std::function< pool_entryt &(u2)>
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_Class_info Structure Described in Java 8 specification 4.4.1.

Definition at line 208 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

class_infot()

class_infot::class_infot ( const pool_entryt &  entry )

inlineexplicit

Definition at line 211 of file java_bytecode_parser.cpp.

Member Function Documentation

get_name()

std::string class_infot::get_name ( const pool_entry_lookupt &  pool_entry ) const

inline

Definition at line 217 of file java_bytecode_parser.cpp.

Member Data Documentation

name_index

u2 class_infot::name_index

private

Definition at line 224 of file java_bytecode_parser.cpp.

---

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

• /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parser.cpp