CBMC
Public Types | Public Attributes | List of all members
java_bytecode_parse_treet::methodt::stack_map_table_entryt Struct Reference

#include <java_bytecode_parse_tree.h>

+ Collaboration diagram for java_bytecode_parse_treet::methodt::stack_map_table_entryt:

Public Types

enum  stack_frame_type {
  SAME , SAME_LOCALS_ONE_STACK , SAME_LOCALS_ONE_STACK_EXTENDED , CHOP ,
  SAME_EXTENDED , APPEND , FULL
}
 
typedef std::vector< verification_type_infot > local_verification_type_infot
 
typedef std::vector< verification_type_infot > stack_verification_type_infot
 

Public Attributes

stack_frame_type type
 
size_t offset_delta
 
size_t chops
 
size_t appends
 
local_verification_type_infot locals
 
stack_verification_type_infot stack
 

Detailed Description

Definition at line 150 of file java_bytecode_parse_tree.h.

Member Typedef Documentation

◆ local_verification_type_infot

typedef std::vector<verification_type_infot> java_bytecode_parse_treet::methodt::stack_map_table_entryt::local_verification_type_infot

Definition at line 163 of file java_bytecode_parse_tree.h.

◆ stack_verification_type_infot

typedef std::vector<verification_type_infot> java_bytecode_parse_treet::methodt::stack_map_table_entryt::stack_verification_type_infot

Definition at line 165 of file java_bytecode_parse_tree.h.

Member Enumeration Documentation

◆ stack_frame_type

enum java_bytecode_parse_treet::methodt::stack_map_table_entryt::stack_frame_type
Enumerator
SAME 
SAME_LOCALS_ONE_STACK 
SAME_LOCALS_ONE_STACK_EXTENDED 
CHOP 
SAME_EXTENDED 
APPEND 
FULL 

Definition at line 152 of file java_bytecode_parse_tree.h.

Member Data Documentation

◆ appends

size_t java_bytecode_parse_treet::methodt::stack_map_table_entryt::appends

Definition at line 160 of file java_bytecode_parse_tree.h.

◆ chops

size_t java_bytecode_parse_treet::methodt::stack_map_table_entryt::chops

Definition at line 159 of file java_bytecode_parse_tree.h.

◆ locals

local_verification_type_infot java_bytecode_parse_treet::methodt::stack_map_table_entryt::locals

Definition at line 167 of file java_bytecode_parse_tree.h.

◆ offset_delta

size_t java_bytecode_parse_treet::methodt::stack_map_table_entryt::offset_delta

Definition at line 158 of file java_bytecode_parse_tree.h.

◆ stack

stack_verification_type_infot java_bytecode_parse_treet::methodt::stack_map_table_entryt::stack

Definition at line 168 of file java_bytecode_parse_tree.h.

◆ type

stack_frame_type java_bytecode_parse_treet::methodt::stack_map_table_entryt::type

Definition at line 157 of file java_bytecode_parse_tree.h.

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