rpnx::cortado::full_frame Struct Reference

A full_frame entry. More...

#include <attributes.hpp>

Public Attributes
std::uint16_t	offset_delta {}
	Encoded offset delta from the preceding frame.
std::vector< verification_type_info >	locals
	Complete local verification state.
std::vector< verification_type_info >	stack
	Complete operand-stack verification state.

Detailed Description

A full_frame entry.

Definition at line 153 of file attributes.hpp.

Member Data Documentation

locals

std::vector< verification_type_info > rpnx::cortado::full_frame::locals

Complete local verification state.

Definition at line 156 of file attributes.hpp.

offset_delta

std::uint16_t rpnx::cortado::full_frame::offset_delta {}

Encoded offset delta from the preceding frame.

Definition at line 155 of file attributes.hpp.

stack

std::vector< verification_type_info > rpnx::cortado::full_frame::stack

Complete operand-stack verification state.

Definition at line 157 of file attributes.hpp.

---

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

• include/rpnx/cortado/attributes.hpp