Inheritance diagram for method_handle_infot:

Collaboration diagram for method_handle_infot:

Public Types
enum	method_handle_kindt { method_handle_kindt::REF_getField = 1, method_handle_kindt::REF_getStatic = 2, method_handle_kindt::REF_putField = 3, method_handle_kindt::REF_putStatic = 4, method_handle_kindt::REF_invokeVirtual = 5, method_handle_kindt::REF_invokeStatic = 6, method_handle_kindt::REF_invokeSpecial = 7, method_handle_kindt::REF_newInvokeSpecial = 8, method_handle_kindt::REF_invokeInterface = 9 }
	Correspond to the different valid values for field handle_kind From Java 8 spec 4.4.8 (https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html) More...

Public Types inherited from structured_pool_entryt
using	pool_entryt = java_bytecode_parsert::pool_entryt

using	pool_entry_lookupt = std::function< pool_entryt &(u2)>

Public Member Functions
	method_handle_infot (const pool_entryt &entry)

method_handle_kindt	get_handle_kind () const

base_ref_infot	get_reference (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
method_handle_kindt	handle_kind

u2	reference_index

Additional Inherited Members
Static Protected Member Functions inherited from structured_pool_entryt
static std::string	read_utf8_constant (const pool_entryt &entry)

Detailed Description

Definition at line 301 of file java_bytecode_parser.cpp.

Member Enumeration Documentation

◆ method_handle_kindt

enum method_handle_infot::method_handle_kindt

strong

Correspond to the different valid values for field handle_kind From Java 8 spec 4.4.8 (https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-4.html)

Enumerator
REF_getField
REF_getStatic
REF_putField
REF_putStatic
REF_invokeVirtual
REF_invokeStatic
REF_invokeSpecial
REF_newInvokeSpecial
REF_invokeInterface

Definition at line 307 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

◆ method_handle_infot()

method_handle_infot::method_handle_infot ( const pool_entryt & entry )

inlineexplicit

Definition at line 320 of file java_bytecode_parser.cpp.

Member Function Documentation

◆ get_handle_kind()

method_handle_kindt method_handle_infot::get_handle_kind ( ) const

inline

Definition at line 329 of file java_bytecode_parser.cpp.

◆ get_reference()

base_ref_infot method_handle_infot::get_reference ( const pool_entry_lookupt & pool_entry ) const

inline

Definition at line 334 of file java_bytecode_parser.cpp.

Member Data Documentation

◆ handle_kind

method_handle_kindt method_handle_infot::handle_kind

private

Definition at line 375 of file java_bytecode_parser.cpp.

◆ reference_index

u2 method_handle_infot::reference_index

private

Definition at line 376 of file java_bytecode_parser.cpp.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/java_bytecode_parser.cpp

Public Types

Public Member Functions

Private Attributes

Additional Inherited Members