cprover
|
Public Types | |
typedef std::function< java_bytecode_parsert::pool_entryt &(u2)> | pool_entry_lookupt |
typedef java_bytecode_parsert::pool_entryt | pool_entryt |
Public Member Functions | |
structured_pool_entryt (java_bytecode_parsert::pool_entryt entry) | |
u1 | get_tag () const |
Static Protected Member Functions | |
static std::string | read_utf8_constant (const pool_entryt &entry) |
Private Attributes | |
u1 | tag |
Definition at line 222 of file java_bytecode_parser.cpp.
typedef std::function<java_bytecode_parsert::pool_entryt &(u2)> structured_pool_entryt::pool_entry_lookupt |
Definition at line 236 of file java_bytecode_parser.cpp.
Definition at line 237 of file java_bytecode_parser.cpp.
|
inlineexplicit |
Definition at line 225 of file java_bytecode_parser.cpp.
|
inline |
Definition at line 230 of file java_bytecode_parser.cpp.
References tag.
|
inlinestaticprotected |
Definition at line 240 of file java_bytecode_parser.cpp.
References CONSTANT_Utf8, id2string(), INVARIANT, java_bytecode_parsert::pool_entryt::s, and java_bytecode_parsert::pool_entryt::tag.
Referenced by name_and_type_infot::get_descriptor(), class_infot::get_name(), and name_and_type_infot::get_name().
|
private |
Definition at line 248 of file java_bytecode_parser.cpp.
Referenced by get_tag().