1 /* 2 * Copyright (c) 2023 Juan Manuel Cruz <jcruz@fi.uba.ar> <jcruz@frba.utn.edu.ar>. 3 * Copyright (c) 2026 Martin Javier Klöckner <mklockner@fi.uba.ar> 4 * 5 * See file `LICENSE` for full details 6 */ 7 8 #ifndef TASK_INC_TASK_SENSOR_ATTRIBUTE_H_ 9 #define TASK_INC_TASK_SENSOR_ATTRIBUTE_H_ 10 11 #ifdef __cplusplus 12 extern "C" { 13 #endif 14 15 /* Sensor Statechart - State Transition Table */ 16 /* +-------------------+----------------+-------------+-------------------+-----------------------+ 17 * | Current | Event | | Next | | 18 * | State | (Parameters) | [Guard] | State | Actions | 19 * |===================+================+=============+===================+=======================| 20 * | | | | | | 21 * +-------------------+----------------+-------------+-------------------+-----------------------+ 22 */ 23 24 /* Events to excite Task Sensor */ 25 typedef enum { 26 EV_BLANK 27 } task_sensor_ev_t; 28 29 /* States of Task Sensor */ 30 typedef enum { 31 ST_BLANK 32 } task_sensor_st_t; 33 34 /* Identifier of Task Sensor */ 35 typedef enum { 36 ID_BLANK 37 } task_sensor_id_t; 38 39 typedef struct { 40 void *empty; 41 } task_sensor_cfg_t; 42 43 typedef struct { 44 task_sensor_id_t identifier; 45 task_sensor_ev_t sig; 46 } task_sensor_dta_t; 47 48 extern task_sensor_dta_t task_sensor_dta_list[]; 49 50 #ifdef __cplusplus 51 } 52 #endif 53 54 #endif /* TASK_INC_TASK_SENSOR_ATTRIBUTE_H_ */
