CBMC
Loading...
Searching...
No Matches
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
 
 
u8  number = 0
 
 

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:

AltStyle によって変換されたページ (->オリジナル) /