cprover
method_handle_infot Class Reference
Inheritance diagram for method_handle_infot:
[legend]
Collaboration diagram for method_handle_infot:
[legend]

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 reference_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
typedef std::function< java_bytecode_parsert::pool_entryt &(u2)> pool_entry_lookupt
 
typedef java_bytecode_parsert::pool_entryt pool_entryt
 

Public Member Functions

 method_handle_infot (java_bytecode_parsert::pool_entryt entry)
 
base_ref_infot get_reference (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

method_handle_kindt reference_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 347 of file java_bytecode_parser.cpp.

Member Enumeration Documentation

◆ method_handle_kindt

Correspond to the different valid values for field reference_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 353 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

◆ method_handle_infot()

Member Function Documentation

◆ get_reference()

Member Data Documentation

◆ reference_index

u2 method_handle_infot::reference_index
private

Definition at line 417 of file java_bytecode_parser.cpp.

Referenced by get_reference(), and method_handle_infot().

◆ reference_kind

method_handle_kindt method_handle_infot::reference_kind
private

Definition at line 416 of file java_bytecode_parser.cpp.

Referenced by get_reference(), and method_handle_infot().


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