cprover
|
Public Member Functions | |
base_ref_infot (pool_entryt entry) | |
u2 | get_class_index () const |
u2 | get_name_and_type_index () const |
name_and_type_infot | get_name_and_type (pool_entry_lookupt pool_entry) const |
class_infot | get_class (pool_entry_lookupt pool_entry) const |
![]() | |
structured_pool_entryt (java_bytecode_parsert::pool_entryt entry) | |
u1 | get_tag () const |
Private Attributes | |
u2 | class_index |
u2 | name_and_type_index |
Additional Inherited Members | |
![]() | |
typedef std::function< java_bytecode_parsert::pool_entryt &(u2)> | pool_entry_lookupt |
typedef java_bytecode_parsert::pool_entryt | pool_entryt |
![]() | |
static std::string | read_utf8_constant (const pool_entryt &entry) |
Definition at line 302 of file java_bytecode_parser.cpp.
|
inlineexplicit |
Definition at line 305 of file java_bytecode_parser.cpp.
References class_index, CONSTANT_Fieldref, CONSTANT_InterfaceMethodref, CONSTANT_Methodref, name_and_type_index, PRECONDITION, java_bytecode_parsert::pool_entryt::ref1, java_bytecode_parsert::pool_entryt::ref2, and java_bytecode_parsert::pool_entryt::tag.
|
inline |
Definition at line 335 of file java_bytecode_parser.cpp.
References class_index.
Referenced by java_bytecode_parsert::parse_method_handle().
|
inline |
Definition at line 314 of file java_bytecode_parser.cpp.
References class_index.
|
inline |
Definition at line 323 of file java_bytecode_parser.cpp.
References CONSTANT_NameAndType, INVARIANT, name_and_type_index, and java_bytecode_parsert::pool_entryt::tag.
Referenced by java_bytecode_parsert::parse_method_handle().
|
inline |
Definition at line 318 of file java_bytecode_parser.cpp.
References name_and_type_index.
|
private |
Definition at line 343 of file java_bytecode_parser.cpp.
Referenced by base_ref_infot(), get_class(), and get_class_index().
|
private |
Definition at line 344 of file java_bytecode_parser.cpp.
Referenced by base_ref_infot(), get_name_and_type(), and get_name_and_type_index().