![]() |
AVR SD Safety Framework 1.0.0
|
Provides optional compile-time validation checks for all Framework configuration macros and constants. More...
#include <stddef.h>#include <stdint.h>#include <define_error_criticality.h>#include <define_error_ids.h>#include <define_error_inject_reset.h>#include <define_tasks_configs.h>#include <error_handler_config.h>#include <midware_clock_manager.h>#include <midware_error_manager.h>#include <midware_memory_manager.h>#include <midware_power_manager.h>#include <midware_watchdog_manager.h>#include <tasks_config.h>#include <avr/interrupt.h>#include <xc.h>Macros | |
| #define | UINT24_MAX 0x00FFFFFFUL |
| Defines max value for 24-bit registers used during validation. | |
| #define | INT_VECTOR_NUM_MAX ((_VECTORS_SIZE / _VECTOR_SIZE) - 1U) |
| Defines highest valid vector number used during validation. | |
Provides optional compile-time validation checks for all Framework configuration macros and constants.
This file can optionally be included during compilation to verify that configurations made are valid as an additional safety measure in addition to the input validation done in Middleware.
This file uses compiler extensions that are not part of strict C99:
It is recommended to promote warnings to errors (-Werror) so that an invalid configuration prevents compilation entirely.