cprover
|
Corresponds to the CONSTANT_NameAndType_info Structure Described in Java 8 specification 4.4.6. More...
Public Member Functions | |
name_and_type_infot (java_bytecode_parsert::pool_entryt entry) | |
std::string | get_name (pool_entry_lookupt pool_entry) const |
std::string | get_descriptor (pool_entry_lookupt pool_entry) const |
![]() | |
structured_pool_entryt (java_bytecode_parsert::pool_entryt entry) | |
u1 | get_tag () const |
Private Attributes | |
u2 | name_index |
u2 | descriptor_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) |
Corresponds to the CONSTANT_NameAndType_info Structure Described in Java 8 specification 4.4.6.
Definition at line 274 of file java_bytecode_parser.cpp.
|
inlineexplicit |
Definition at line 277 of file java_bytecode_parser.cpp.
References CONSTANT_NameAndType, descriptor_index, name_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 291 of file java_bytecode_parser.cpp.
References descriptor_index, and structured_pool_entryt::read_utf8_constant().
Referenced by java_bytecode_parsert::parse_method_handle().
|
inline |
Definition at line 285 of file java_bytecode_parser.cpp.
References name_index, and structured_pool_entryt::read_utf8_constant().
Referenced by java_bytecode_parsert::parse_method_handle().
|
private |
Definition at line 299 of file java_bytecode_parser.cpp.
Referenced by get_descriptor(), and name_and_type_infot().
|
private |
Definition at line 298 of file java_bytecode_parser.cpp.
Referenced by get_name(), and name_and_type_infot().