|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
Mutable, bounds-tracked view over caller-owned storage. More...
#include <rte_buffer.h>
Data Fields | |
| void * | data |
| size_t | capacity |
| size_t | length |
Mutable, bounds-tracked view over caller-owned storage.
Invariant (checked by rte_buffer_is_valid): data != NULL and length <= capacity.
Definition at line 35 of file rte_buffer.h.
| void* rte_buffer_t::data |
Caller-owned backing storage.
Definition at line 37 of file rte_buffer.h.
| size_t rte_buffer_t::capacity |
Total usable bytes available in data.
Definition at line 38 of file rte_buffer.h.
| size_t rte_buffer_t::length |
Bytes currently holding valid data (<= capacity).
Definition at line 39 of file rte_buffer.h.