cprover
|
Public Member Functions | |
pool_entryt () | |
Public Attributes | |
u1 | tag |
u2 | ref1 |
u2 | ref2 |
irep_idt | s |
u8 | number |
exprt | expr |
Definition at line 54 of file java_bytecode_parser.cpp.
|
inline |
Definition at line 61 of file java_bytecode_parser.cpp.
exprt java_bytecode_parsert::pool_entryt::expr |
Definition at line 60 of file java_bytecode_parser.cpp.
Referenced by java_bytecode_parsert::constant().
u8 java_bytecode_parsert::pool_entryt::number |
Definition at line 59 of file java_bytecode_parser.cpp.
u2 java_bytecode_parsert::pool_entryt::ref1 |
Definition at line 57 of file java_bytecode_parser.cpp.
Referenced by java_bytecode_parsert::rconstant_pool().
u2 java_bytecode_parsert::pool_entryt::ref2 |
Definition at line 57 of file java_bytecode_parser.cpp.
Referenced by java_bytecode_parsert::rconstant_pool().
irep_idt java_bytecode_parsert::pool_entryt::s |
Definition at line 58 of file java_bytecode_parser.cpp.
Referenced by java_bytecode_parsert::get_class_refs(), java_bytecode_parsert::rclass_attribute(), java_bytecode_parsert::rcode_attribute(), java_bytecode_parsert::rconstant_pool(), java_bytecode_parsert::relement_value_pairs(), java_bytecode_parsert::rfield_attribute(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), and java_bytecode_parsert::rmethod_attribute().
u1 java_bytecode_parsert::pool_entryt::tag |
Definition at line 56 of file java_bytecode_parser.cpp.