Loading...

Searching...

No Matches

Public Types | Public Member Functions | Private Attributes | List of all members

method_handle_infot Class Reference

+ Inheritance diagram for method_handle_infot:

[フレーム]

[legend]

+ Collaboration diagram for method_handle_infot:

[フレーム]

[legend]

Public Types

enum class method_handle_kindt {
  REF_getField = 1 , REF_getStatic = 2 , REF_putField = 3 , REF_putStatic = 4 ,
  REF_invokeVirtual = 5 , REF_invokeStatic = 6 , REF_invokeSpecial = 7 , REF_newInvokeSpecial = 8 ,
  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 314 of file java_bytecode_parser.cpp.

Member Enumeration Documentation

◆ method_handle_kindt

enum class 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 320 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 333 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 342 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 347 of file java_bytecode_parser.cpp.

Member Data Documentation

◆ handle_kind

method_handle_kindt method_handle_infot::handle_kind

private

Definition at line 388 of file java_bytecode_parser.cpp.

◆ reference_index

u2 method_handle_infot::reference_index

private

Definition at line 389 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

method_handle_infot
Generated by doxygen 1.9.8