Public Attributes

u1 tag = 0

u2 ref1 = 0

u2 ref2 = 0

Detailed Description

Definition at line 39 of file java_bytecode_parser.cpp.

exprt java_bytecode_parsert::pool_entryt::expr

Definition at line 46 of file java_bytecode_parser.cpp.

u8 java_bytecode_parsert::pool_entryt::number = 0

Definition at line 45 of file java_bytecode_parser.cpp.

u2 java_bytecode_parsert::pool_entryt::ref1 = 0

Definition at line 42 of file java_bytecode_parser.cpp.

u2 java_bytecode_parsert::pool_entryt::ref2 = 0

Definition at line 43 of file java_bytecode_parser.cpp.

irep_idt java_bytecode_parsert::pool_entryt::s

Definition at line 44 of file java_bytecode_parser.cpp.

u1 java_bytecode_parsert::pool_entryt::tag = 0

Definition at line 41 of file java_bytecode_parser.cpp.

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