cprover
Loading...
Searching...
No Matches
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:
  • /builddir/build/BUILD/cbmc-6.7.1-build/cbmc-cbmc-6.7.1/jbmc/src/java_bytecode/bytecode_info.h