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
| 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:
- /home/runner/work/cbmc/cbmc/jbmc/src/java_bytecode/java_bytecode_parse_tree.h
