bytecode_infot Struct Reference

#include <bytecode_info.h>

Public Attributes
const char *	mnemonic
unsigned char	opcode
char	format
unsigned	pop
unsigned	push
char	result_type

Detailed Description

Definition at line 44 of file bytecode_info.h.

Member Data Documentation

format

char bytecode_infot::format

Definition at line 48 of file bytecode_info.h.

mnemonic

const char* bytecode_infot::mnemonic

Definition at line 46 of file bytecode_info.h.

opcode

unsigned char bytecode_infot::opcode

Definition at line 47 of file bytecode_info.h.

pop

unsigned bytecode_infot::pop

Definition at line 49 of file bytecode_info.h.

push

unsigned bytecode_infot::push

Definition at line 49 of file bytecode_info.h.

result_type

char bytecode_infot::result_type

Definition at line 50 of file bytecode_info.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/jbmc/src/java_bytecode/bytecode_info.h