|
Safe API Framework
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 <sapi_buffer.h>
Data Fields | |
| void * | data |
| size_t | capacity |
| size_t | length |
Mutable, bounds-tracked view over caller-owned storage.
Invariant (checked by sapi_buffer_is_valid): data != NULL and length <= capacity.
Definition at line 35 of file sapi_buffer.h.
| void* sapi_buffer_t::data |
Caller-owned backing storage.
Definition at line 37 of file sapi_buffer.h.
| size_t sapi_buffer_t::capacity |
Total usable bytes available in data.
Definition at line 38 of file sapi_buffer.h.
| size_t sapi_buffer_t::length |
Bytes currently holding valid data (<= capacity).
Definition at line 39 of file sapi_buffer.h.