|
CHERIoT RTOS
A compartmentalised RTOS for CHERIoT hardware
|
Abstract class for writing debug output. More...
#include <debug.hh>
Public Member Functions | |
| virtual void | write (char)=0 |
| Write a single character. | |
| virtual void | write (const char *)=0 |
| Write a C string. | |
| virtual void | write (std::string_view)=0 |
| Write a string view. | |
| virtual void | write (uint32_t)=0 |
| Write a 32-bit unsigned integer. | |
| virtual void | write (int32_t)=0 |
| Write a 32-bit signed integer. | |
| virtual void | write (uint64_t)=0 |
| Write a 64-bit unsigned integer. | |
| virtual void | write (int64_t)=0 |
| Write a 64-bit signed integer. | |
| virtual void | write_hex_byte (uint8_t)=0 |
| Write a single byte as hex with no leading 0x. | |
| virtual void | write (float)=0 |
| Write a single-precision floating-point value. | |
| virtual void | write (double)=0 |
| Write a double-precision floating-point value. | |
| template<typename T> requires (std::integral<T>) | |
| void | write_hex (T x) |
| Write an integer as hex. | |
| template<typename T> requires (std::integral<T>) | |
| void | write_decimal (T x) |
| Write an integer as decimal. | |
Abstract class for writing debug output.
This is used for custom output.
This may be changed in the future to provide better support for custom formatting.
|
pure virtual |
Write a double-precision floating-point value.
If floating-point support is not compiled into the debug library, this may print a placeholder.
|
pure virtual |
Write a single-precision floating-point value.
If floating-point support is not compiled into the debug library, this may print a placeholder.
|
inline |
|
inline |