java_bytecode_parse_treet::methodt::verification_type_infot Class Reference

#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

Detailed Description

Definition at line 112 of file java_bytecode_parse_tree.h.

Member Enumeration Documentation

verification_type_info_type

enum java_bytecode_parse_treet::methodt::verification_type_infot::verification_type_info_type

Enumerator
TOP
INTEGER
FLOAT
LONG
DOUBLE
ITEM_NULL
UNINITIALIZED_THIS
OBJECT
UNINITIALIZED

Definition at line 115 of file java_bytecode_parse_tree.h.

Member Data Documentation

cpool_index

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().

offset

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().

tag

u1 java_bytecode_parse_treet::methodt::verification_type_infot::tag

Definition at line 119 of file java_bytecode_parse_tree.h.

type

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().

---

The documentation for this class was generated from the following file:

• java_bytecode/java_bytecode_parse_tree.h