cprover
|
#include <java_bytecode_parse_tree.h>
Public Member Functions | |
lambda_method_handlet () | |
bool | is_unknown_handle () const |
Static Public Member Functions | |
static lambda_method_handlet | create_unknown_handle (const u2_valuest params) |
Public Attributes | |
method_handle_typet | handle_type |
irep_idt | lambda_method_name |
irep_idt | lambda_method_ref |
irep_idt | interface_type |
irep_idt | method_type |
u2_valuest | u2_values |
Definition at line 225 of file java_bytecode_parse_tree.h.
|
inline |
Definition at line 234 of file java_bytecode_parse_tree.h.
|
inlinestatic |
Definition at line 239 of file java_bytecode_parse_tree.h.
References handle_type, u2_values, and java_bytecode_parse_treet::classt::UNKNOWN_HANDLE.
Referenced by java_bytecode_parsert::store_unknown_method_handle().
|
inline |
Definition at line 247 of file java_bytecode_parse_tree.h.
References handle_type, and java_bytecode_parse_treet::classt::UNKNOWN_HANDLE.
method_handle_typet java_bytecode_parse_treet::classt::lambda_method_handlet::handle_type |
Definition at line 228 of file java_bytecode_parse_tree.h.
Referenced by create_unknown_handle(), is_unknown_handle(), and java_bytecode_parsert::parse_method_handle().
irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::interface_type |
Definition at line 231 of file java_bytecode_parse_tree.h.
irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_name |
Definition at line 229 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::parse_method_handle().
irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::lambda_method_ref |
Definition at line 230 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::parse_method_handle().
irep_idt java_bytecode_parse_treet::classt::lambda_method_handlet::method_type |
Definition at line 232 of file java_bytecode_parse_tree.h.
u2_valuest java_bytecode_parse_treet::classt::lambda_method_handlet::u2_values |
Definition at line 233 of file java_bytecode_parse_tree.h.
Referenced by create_unknown_handle().