SG_BEGIN_DECL()
/** @addtogroup GRAS_timer
- * @brief Delayed and repetitive tasks (Communication facility)
- *
- * <center><table><tr><td><b>Top</b> <td> [\ref index]::[\ref GRAS_API]
- * <tr><td><b>Prev</b> <td> [\ref GRAS_msg]
- * <tr><td><b>Next</b> <td> [\ref GRAS_virtu] </table></center>
+ * @brief Delayed and repetitive tasks
*
* This is how to have a specific function called only once after the
* specified amount of time or a function executed every 5 mn until it gets
* @{
*/
- typedef void (*void_f_void_t)(void);
-
- void gras_timer_delay(double delay, void_f_void_t action);
- void gras_timer_repeat(double interval, void_f_void_t action);
+ XBT_PUBLIC(void) gras_timer_delay(double delay, void_f_void_t action);
+ XBT_PUBLIC(void) gras_timer_repeat(double interval, void_f_void_t action);
- void gras_timer_cancel_delay(double interval, void_f_void_t action);
- void gras_timer_cancel_repeat(double interval, void_f_void_t action);
+ XBT_PUBLIC(void) gras_timer_cancel_delay(double interval, void_f_void_t action);
+ XBT_PUBLIC(void) gras_timer_cancel_repeat(double interval, void_f_void_t action);
- void gras_timer_cancel_delay_all(void);
- void gras_timer_cancel_repeat_all(void);
+ XBT_PUBLIC(void) gras_timer_cancel_delay_all(void);
+ XBT_PUBLIC(void) gras_timer_cancel_repeat_all(void);
- void gras_timer_cancel_all(void);
+ XBT_PUBLIC(void) gras_timer_cancel_all(void);
/** @} */