CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
Loading...
Searching...
No Matches
Concepts
Here is a list of all documented concepts with brief descriptions:
 Nanonymous_namespace{float_to_string_helpers.hh}This file provides routines to help convert from floating-point values to strings
 RSupportedFloatingPointTypeSet of supported floating-point types
 NCHERI
 RIsPointerConcept that matches pointers
 RIsSmartPointerLikeConcept that matches smart pointers, i.e., classes which implements a get method returning a pointer, and supports operator= with the return value of get
 NDebugConceptsConcepts used for matching types in the debug code
 RIsBoolHelper concept for matching booleans
 RIsEnumHelper concept for matching enumerations
 RLazyAssertionConcept for something that can be lazily called to produce a bool
 RIsPointerButNotCStringHelper for identifying pointers that are (probably) not C strings
 RIsConvertibleToAddressHelper concept for things that can be converted to addresses but are not enumerations
 Nds
 Nlinked_list
 Ncell
 RHasCellOperationsThe primitive, required, abstract interface to our cons cells
 RHasResetReset a cell to a singleton ring
 RHasCellOperationsReset
 RHasIsSingletonAdditional, optional overrides available within implementation of cons cells
 RHasIsSingletonCheck
 RHasIsDoubleton
 Npointer
 Nproxy
 RProxiesProxies<P,T> if P is a proxy object for T*-s
 NRevocation
 RIsRevokerDeviceConcept for a revoker
 RSupportsInterruptNotificationIf this revoker supports an interrupt to notify of completion then it must have a method that blocks waiting for the interrupt to fire
 REthernetAdaptorConcept for an Ethernet adaptor
 RIsEntropySource
 RIsUartConcept for checking that a UART driver exposes the right interface
 RLockable
 RReceivedEthernetFrameHelper concept for the type returned by receive_frame
 RTryLockable