method_handle_infot Class Reference
Inheritance diagram for method_handle_infot: Collaboration diagram for method_handle_infot: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 304 of file java_bytecode_parser.cpp.
Member Enumeration Documentation
◆ 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 310 of file java_bytecode_parser.cpp.
Constructor & Destructor Documentation
◆ method_handle_infot()
|
inlineexplicit |
Definition at line 323 of file java_bytecode_parser.cpp.
Member Function Documentation
◆ get_handle_kind()
|
inline |
Definition at line 332 of file java_bytecode_parser.cpp.
◆ get_reference()
|
inline |
Definition at line 337 of file java_bytecode_parser.cpp.
Member Data Documentation
◆ handle_kind
|
private |
Definition at line 378 of file java_bytecode_parser.cpp.
◆ reference_index
|
private |
Definition at line 379 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
