CBMC
Loading...
Searching...
No Matches
Public Attributes | List of all members
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:

AltStyle によって変換されたページ (->オリジナル) /