Definition at line 60 of file java_bytecode_parser.cpp.
◆ pool_entryt()
java_bytecode_parsert::pool_entryt::pool_entryt |
( |
| ) |
|
|
inline |
◆ expr
exprt java_bytecode_parsert::pool_entryt::expr |
◆ number
u8 java_bytecode_parsert::pool_entryt::number |
◆ ref1
u2 java_bytecode_parsert::pool_entryt::ref1 |
◆ ref2
u2 java_bytecode_parsert::pool_entryt::ref2 |
irep_idt java_bytecode_parsert::pool_entryt::s |
◆ tag
u1 java_bytecode_parsert::pool_entryt::tag |
The documentation for this struct was generated from the following file: