|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
One redundant channel: validates parameters, then dispatches to its configured send/recv callbacks, tracking health as a side effect (ADR-025). More...
Go to the source code of this file.
Functions | |
| rte_status_t | rte_channel_init (rte_channel_storage_t *storage, const rte_channel_config_t *config) |
| Initializes one vital channel over a caller-supplied transport. | |
| rte_status_t | rte_channel_send (rte_channel_t *handle, const void *data, size_t data_size) |
| Sends data on this channel via its OSAdapter send callback. | |
| rte_status_t | rte_channel_receive (rte_channel_t *handle, void *data, size_t data_size, uint32_t timeout_ms) |
| Receives data on this channel via its OSAdapter receive callback. | |
| rte_status_t | rte_channel_get_health (const rte_channel_t *handle, rte_channel_health_t *out_health) |
| Queries this channel's health statistics. | |
| const char * | rte_channel_get_name (const rte_channel_t *handle) |
| Returns this channel's name, as given in rte_channel_config_t::name at rte_channel_init() time. | |
| rte_status_t | rte_channel_set_healthy (rte_channel_t *handle, bool is_healthy) |
| Marks this channel healthy/unhealthy. | |
| rte_status_t | rte_channel_destroy (rte_channel_t *handle) |
| Destroys a vital channel instance. | |
One redundant channel: validates parameters, then dispatches to its configured send/recv callbacks, tracking health as a side effect (ADR-025).
Definition in file rte_channel.c.