java_bytecode_parsert::bytecodet Class Reference

Collaboration diagram for java_bytecode_parsert::bytecodet:

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:

• java_bytecode/java_bytecode_parser.cpp