cprover
Public Attributes | List of all members
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 73 of file java_bytecode_parser.cpp.

Member Data Documentation

◆ format

char java_bytecode_parsert::bytecodet::format

Definition at line 77 of file java_bytecode_parser.cpp.

◆ mnemonic

irep_idt java_bytecode_parsert::bytecodet::mnemonic

Definition at line 76 of file java_bytecode_parser.cpp.

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