cprover
|
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... | |
![]() | |
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 |
![]() | |
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 std::string | read_utf8_constant (const pool_entryt &entry) |
Definition at line 357 of file java_bytecode_parser.cpp.
|
strong |
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 363 of file java_bytecode_parser.cpp.
|
inlineexplicit |
Definition at line 376 of file java_bytecode_parser.cpp.
|
inline |
Definition at line 385 of file java_bytecode_parser.cpp.
|
private |
Definition at line 427 of file java_bytecode_parser.cpp.
|
private |
Definition at line 426 of file java_bytecode_parser.cpp.