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:
[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

Definition at line 60 of file java_bytecode_parser.cpp.

Referenced by java_bytecode_parsert::constant().

◆ number

u8 java_bytecode_parsert::pool_entryt::number

Definition at line 59 of file java_bytecode_parser.cpp.

◆ 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

irep_idt java_bytecode_parsert::pool_entryt::s

Definition at line 58 of file java_bytecode_parser.cpp.

Referenced by java_bytecode_parsert::get_class_refs(), java_bytecode_parsert::rclass_attribute(), java_bytecode_parsert::rcode_attribute(), java_bytecode_parsert::rconstant_pool(), java_bytecode_parsert::relement_value_pairs(), java_bytecode_parsert::rfield_attribute(), java_bytecode_parsert::rfields(), java_bytecode_parsert::rmethod(), and java_bytecode_parsert::rmethod_attribute().

◆ tag

u1 java_bytecode_parsert::pool_entryt::tag

Definition at line 56 of file java_bytecode_parser.cpp.

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