cprover
java_bytecode_parsert::pool_entryt Struct Reference
Collaboration diagram for java_bytecode_parsert::pool_entryt:
[legend]

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 54 of file java_bytecode_parser.cpp.

Constructor & Destructor Documentation

§ pool_entryt()

java_bytecode_parsert::pool_entryt::pool_entryt ( )
inline

Definition at line 61 of file java_bytecode_parser.cpp.

Member Data Documentation

§ expr

exprt java_bytecode_parsert::pool_entryt::expr

§ number

u8 java_bytecode_parsert::pool_entryt::number

§ ref1

u2 java_bytecode_parsert::pool_entryt::ref1

Definition at line 57 of file java_bytecode_parser.cpp.

Referenced by java_bytecode_parsert::rconstant_pool().

§ ref2

u2 java_bytecode_parsert::pool_entryt::ref2

Definition at line 57 of file java_bytecode_parser.cpp.

Referenced by java_bytecode_parsert::rconstant_pool().

§ s

§ tag

u1 java_bytecode_parsert::pool_entryt::tag

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