cprover
|
#include <java_bytecode_parse_tree.h>
Public Types | |
enum | verification_type_info_type { TOP, INTEGER, FLOAT, LONG, DOUBLE, ITEM_NULL, UNINITIALIZED_THIS, OBJECT, UNINITIALIZED } |
Public Attributes | |
verification_type_info_type | type |
u1 | tag |
u2 | cpool_index |
u2 | offset |
Definition at line 112 of file java_bytecode_parse_tree.h.
Enumerator | |
---|---|
TOP | |
INTEGER | |
FLOAT | |
LONG | |
DOUBLE | |
ITEM_NULL | |
UNINITIALIZED_THIS | |
OBJECT | |
UNINITIALIZED |
Definition at line 115 of file java_bytecode_parse_tree.h.
u2 java_bytecode_parse_treet::methodt::verification_type_infot::cpool_index |
Definition at line 120 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::read_verification_type_info().
u2 java_bytecode_parse_treet::methodt::verification_type_infot::offset |
Definition at line 121 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::read_verification_type_info().
u1 java_bytecode_parse_treet::methodt::verification_type_infot::tag |
Definition at line 119 of file java_bytecode_parse_tree.h.
verification_type_info_type java_bytecode_parse_treet::methodt::verification_type_infot::type |
Definition at line 118 of file java_bytecode_parse_tree.h.
Referenced by java_bytecode_parsert::read_verification_type_info().