CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
ReceivedEthernetFrame Concept Reference

Helper concept for the type returned by receive_frame. More...

#include <ethernet.hh>

Concept definition

template<typename T>
concept ReceivedEthernetFrame = requires(T frame) {
{ frame->length } -> std::convertible_to<uint16_t>;
{ frame->buffer } -> std::convertible_to<const uint8_t *>;
{ frame->buffer } -> std::convertible_to<bool>;
}
Helper concept for the type returned by receive_frame.
Definition ethernet.hh:14

Detailed Description

Helper concept for the type returned by receive_frame.

This must provide a buffer and a length. It may also be an RAII type that handles any cleanup when it is destroyed.

This is not required to be copyable.

Definition at line 14 of file ethernet.hh.