timeout on conditions

[simgrid.git] / include / xbt / queue.h

diff --git a/include/xbt/queue.h b/include/xbt/queue.h
index 8412c3e..423ea4f 100644 (file)
--- a/include/xbt/queue.h
+++ b/include/xbt/queue.h
@@ -37,11 +37,16 @@ SG_BEGIN_DECL()
 
   XBT_PUBLIC(unsigned long) xbt_queue_length(const xbt_queue_t queue);
 
 
   XBT_PUBLIC(unsigned long) xbt_queue_length(const xbt_queue_t queue);
 

-  XBT_PUBLIC(void) xbt_queue_push    (xbt_queue_t queue, const void *src);
-  XBT_PUBLIC(void) xbt_queue_pop     (xbt_queue_t queue, void *const dst);
+  XBT_PUBLIC(void) xbt_queue_push     (xbt_queue_t queue, const void *src);
+  XBT_PUBLIC(void) xbt_queue_pop      (xbt_queue_t queue, void *const dst);

   XBT_PUBLIC(void) xbt_queue_unshift (xbt_queue_t queue, const void *src);
   XBT_PUBLIC(void) xbt_queue_shift   (xbt_queue_t queue, void *const dst);
 
   XBT_PUBLIC(void) xbt_queue_unshift (xbt_queue_t queue, const void *src);
   XBT_PUBLIC(void) xbt_queue_shift   (xbt_queue_t queue, void *const dst);
 

+  XBT_PUBLIC(void) xbt_queue_push_timed    (xbt_queue_t queue, const void *src, double delay);
+  XBT_PUBLIC(void) xbt_queue_unshift_timed (xbt_queue_t queue, const void *src, double delay);
+  XBT_PUBLIC(void) xbt_queue_shift_timed   (xbt_queue_t queue, void *const dst, double delay);
+  XBT_PUBLIC(void) xbt_queue_pop_timed     (xbt_queue_t queue, void *const dst, double delay);
+

 SG_END_DECL()
 
 #endif /* _XBT_QUEUE_H */
 SG_END_DECL()
 
 #endif /* _XBT_QUEUE_H */