CBMC
Public Attributes | List of all members
java_bytecode_parsert::pool_entryt Struct Reference
+ Collaboration diagram for java_bytecode_parsert::pool_entryt:

Public Attributes

u1 tag = 0
 
u2 ref1 = 0
 
u2 ref2 = 0
 
irep_idt s
 
u8 number = 0
 
exprt expr
 

Detailed Description

Definition at line 39 of file java_bytecode_parser.cpp.

Member Data Documentation

◆ expr

exprt java_bytecode_parsert::pool_entryt::expr

Definition at line 46 of file java_bytecode_parser.cpp.

◆ number

u8 java_bytecode_parsert::pool_entryt::number = 0

Definition at line 45 of file java_bytecode_parser.cpp.

◆ ref1

u2 java_bytecode_parsert::pool_entryt::ref1 = 0

Definition at line 42 of file java_bytecode_parser.cpp.

◆ ref2

u2 java_bytecode_parsert::pool_entryt::ref2 = 0

Definition at line 43 of file java_bytecode_parser.cpp.

◆ s

irep_idt java_bytecode_parsert::pool_entryt::s

Definition at line 44 of file java_bytecode_parser.cpp.

◆ tag

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: