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 232 of file java_bytecode_parser.cpp.
typedef std::function<java_bytecode_parsert::pool_entryt &(u2)> structured_pool_entryt::pool_entry_lookupt |
Definition at line 246 of file java_bytecode_parser.cpp.
Definition at line 247 of file java_bytecode_parser.cpp.
|
inlineexplicit |
Definition at line 235 of file java_bytecode_parser.cpp.
|
inline |
Definition at line 240 of file java_bytecode_parser.cpp.
|
inlinestaticprotected |
Definition at line 250 of file java_bytecode_parser.cpp.
|
private |
Definition at line 258 of file java_bytecode_parser.cpp.