cprover
java_bytecode_parsert::bytecodet Class Reference
Collaboration diagram for java_bytecode_parsert::bytecodet:
[legend]

Public Attributes

irep_idt mnemonic
 
char format
 

Detailed Description

Definition at line 68 of file java_bytecode_parser.cpp.

Member Data Documentation

§ format

char java_bytecode_parsert::bytecodet::format

Definition at line 72 of file java_bytecode_parser.cpp.

§ mnemonic

irep_idt java_bytecode_parsert::bytecodet::mnemonic

Definition at line 71 of file java_bytecode_parser.cpp.


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