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

Public Member Functions

 pool_entryt ()
 

Public Attributes

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

Detailed Description

Definition at line 60 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

◆ pool_entryt()

java_bytecode_parsert::pool_entryt::pool_entryt ( )
inline

Definition at line 67 of file java_bytecode_parser.cpp.

Member Data Documentation

◆ expr

exprt java_bytecode_parsert::pool_entryt::expr

Definition at line 66 of file java_bytecode_parser.cpp.

◆ number

u8 java_bytecode_parsert::pool_entryt::number

Definition at line 65 of file java_bytecode_parser.cpp.

◆ ref1

u2 java_bytecode_parsert::pool_entryt::ref1

Definition at line 63 of file java_bytecode_parser.cpp.

◆ ref2

u2 java_bytecode_parsert::pool_entryt::ref2

Definition at line 63 of file java_bytecode_parser.cpp.

◆ s

irep_idt java_bytecode_parsert::pool_entryt::s

Definition at line 64 of file java_bytecode_parser.cpp.

◆ tag

u1 java_bytecode_parsert::pool_entryt::tag

Definition at line 62 of file java_bytecode_parser.cpp.

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