cprover
|
#include <cstdint>
Go to the source code of this file.
Classes | |
struct | bytecode_infot |
Typedefs | |
typedef uint8_t | u1 |
typedef uint16_t | u2 |
typedef uint32_t | u4 |
typedef uint64_t | u8 |
typedef int8_t | s1 |
typedef int16_t | s2 |
typedef int32_t | s4 |
typedef int64_t | s8 |
Variables | |
struct bytecode_infot const | bytecode_info [] |
typedef int8_t s1 |
Definition at line 59 of file bytecode_info.h.
typedef int16_t s2 |
Definition at line 60 of file bytecode_info.h.
typedef int32_t s4 |
Definition at line 61 of file bytecode_info.h.
typedef int64_t s8 |
Definition at line 62 of file bytecode_info.h.
typedef uint8_t u1 |
Definition at line 55 of file bytecode_info.h.
typedef uint16_t u2 |
Definition at line 56 of file bytecode_info.h.
typedef uint32_t u4 |
Definition at line 57 of file bytecode_info.h.
typedef uint64_t u8 |
Definition at line 58 of file bytecode_info.h.
struct bytecode_infot const bytecode_info[] |
Definition at line 15 of file bytecode_info.cpp.
Referenced by java_bytecode_convert_methodt::convert_instructions(), java_bytecode_convert_methodt::get_bytecode_info(), and java_bytecode_parsert::get_bytecodes().