cprover
|
Public Member Functions | |
pool_entryt () | |
Public Attributes | |
u1 | tag |
u2 | ref1 |
u2 | ref2 |
irep_idt | s |
u8 | number |
exprt | expr |
Definition at line 59 of file java_bytecode_parser.cpp.
|
inline |
Definition at line 66 of file java_bytecode_parser.cpp.
exprt java_bytecode_parsert::pool_entryt::expr |
Definition at line 65 of file java_bytecode_parser.cpp.
Referenced by java_bytecode_parsert::constant().
u8 java_bytecode_parsert::pool_entryt::number |
Definition at line 64 of file java_bytecode_parser.cpp.
u2 java_bytecode_parsert::pool_entryt::ref1 |
Definition at line 62 of file java_bytecode_parser.cpp.
Referenced by base_ref_infot::base_ref_infot(), class_infot::class_infot(), method_handle_infot::method_handle_infot(), name_and_type_infot::name_and_type_infot(), java_bytecode_parsert::rconstant_pool(), and java_bytecode_parsert::read_bootstrapmethods_entry().
u2 java_bytecode_parsert::pool_entryt::ref2 |
Definition at line 62 of file java_bytecode_parser.cpp.
Referenced by base_ref_infot::base_ref_infot(), method_handle_infot::method_handle_infot(), name_and_type_infot::name_and_type_infot(), and java_bytecode_parsert::rconstant_pool().
irep_idt java_bytecode_parsert::pool_entryt::s |
Definition at line 63 of file java_bytecode_parser.cpp.
Referenced by java_bytecode_parsert::get_class_refs(), java_bytecode_parsert::rclass_attribute(), java_bytecode_parsert::rcode_attribute(), java_bytecode_parsert::rconstant_pool(), java_bytecode_parsert::read_bootstrapmethods_entry(), structured_pool_entryt::read_utf8_constant(), java_bytecode_parsert::relement_value_pairs(), java_bytecode_parsert::rfield_attribute(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), and java_bytecode_parsert::rmethod_attribute().
u1 java_bytecode_parsert::pool_entryt::tag |
Definition at line 61 of file java_bytecode_parser.cpp.
Referenced by base_ref_infot::base_ref_infot(), class_infot::class_infot(), base_ref_infot::get_name_and_type(), method_handle_infot::method_handle_infot(), name_and_type_infot::name_and_type_infot(), java_bytecode_parsert::read_bootstrapmethods_entry(), and structured_pool_entryt::read_utf8_constant().