include/xbt/swag.h

   1 /*      $Id$     */
   2
   3 /* Copyright (c) 2004 Arnaud Legrand. All rights reserved.                */
   4
   5 /* This program is free software; you can redistribute it and/or modify it
   6  * under the terms of the license (GNU LGPL) which comes with this package. */
   7
   8 /* Warning, this module is done to be efficient and performs tons of
   9    cast and dirty things. So avoid using it unless you really know
  10    what you are doing. */
  11
  12 #ifndef _XBT_SWAG_H
  13 #define _XBT_SWAG_H
  14
  15 #include "xbt/sysdep.h"
  16 #include "gras_config.h" /* inline */
  17
  18 /* This type should be added to a type that is to be used in such a swag */
  19 /* Whenever a new object with this struct is created, all fields have
  20    to be set to NULL */
  21
  22 /** \name Swag types
  23     \ingroup XBT_swag
  24
  25     Specific set.
  26
  27     These typedefs are public so that the compiler can
  28     do his job but believe me, you don't want to try to play with
  29     those structs directly. Use them as an abstract datatype.
  30 */
  31 /* @{ */
  32 typedef struct xbt_swag_hookup {
  33   void *next;
  34   void *prev;
  35 } s_xbt_swag_hookup_t;
  36 /**< This type should be added to a type that is to be used in a swag.
  37  * For example like that :
  38
  39 \code
  40 typedef struct foo {
  41   s_xbt_swag_hookup_t set1_hookup;
  42   s_xbt_swag_hookup_t set2_hookup;
  43
  44   double value;
  45 } s_foo_t, *foo_t;
  46 ...
  47 {
  48   s_foo_t elem;
  49   xbt_swag_t set1=NULL;
  50   xbt_swag_t set2=NULL;
  51
  52   set1 = xbt_swag_new(xbt_swag_offset(elem, set1_hookup));
  53   set2 = xbt_swag_new(xbt_swag_offset(elem, set2_hookup));
  54
  55 }
  56 \endcode
  57 */
  58 typedef s_xbt_swag_hookup_t  *xbt_swag_hookup_t;
  59
  60
  61 typedef struct xbt_swag {
  62   void *head;
  63   void *tail;
  64   size_t offset;
  65   int count;
  66 } s_xbt_swag_t, *xbt_swag_t;
  67 /**< A typical swag */
  68 /* @} */
  69
  70 xbt_swag_t xbt_swag_new(size_t offset);
  71 void xbt_swag_free(xbt_swag_t swag);
  72 void xbt_swag_init(xbt_swag_t swag, size_t offset);
  73 void xbt_swag_insert(void *obj, xbt_swag_t swag);
  74 void xbt_swag_insert_at_head(void *obj, xbt_swag_t swag);
  75 void xbt_swag_insert_at_tail(void *obj, xbt_swag_t swag);
  76 void *xbt_swag_remove(void *obj, xbt_swag_t swag);
  77 void *xbt_swag_extract(xbt_swag_t swag);
  78 int xbt_swag_size(xbt_swag_t swag);
  79 int xbt_swag_belongs(void *obj, xbt_swag_t swag);
  80
  81 static inline void *xbt_swag_getFirst(xbt_swag_t swag)
  82 {
  83   return (swag->head);
  84 }
  85
  86 #define xbt_swag_getNext(obj,offset) (((xbt_swag_hookup_t)(((char *) (obj)) + (offset)))->prev)
  87 #define xbt_swag_getPrev(obj,offset) (((xbt_swag_hookup_t)(((char *) (obj)) + (offset)))->next)
  88
  89 /**
  90  * \ingroup XBT_swag
  91  * \brief Offset computation
  92  * \arg var a variable of type <tt>struct</tt> something
  93  * \arg field a field of <tt>struct</tt> something
  94  * \return the offset of \a field in <tt>struct</tt> something.
  95  *
  96  * It is very similar to offsetof except that is done at runtime and that
  97  * you have to declare a variable. Why defining such a macro then ?
  98  * Because it is portable...
  99  */
 100 #define xbt_swag_offset(var,field) ((char *)&( (var).field ) - (char *)&(var))
 101
 102 /**
 103  \name Swag iterator
 104  \ingroup XBT_swag
 105  *
 106  * Iterates over the whole swag.
 107  */
 108 /* @{ */
 109 #define xbt_swag_foreach(obj,swag)                            \
 110    for((obj)=xbt_swag_getFirst((swag));                       \
 111        (obj)!=NULL;                                           \
 112        (obj)=xbt_swag_getNext((obj),(swag)->offset))
 113 /**<  A simple swag iterator
 114  * \param obj the indice of the loop
 115  * \param swag what to iterate over
 116
 117     \warning you cannot modify the \a swag while using this loop  */
 118 #define xbt_swag_foreach_safe(obj,obj_next,swag)                  \
 119    for((obj)=xbt_swag_getFirst((swag)),                           \
 120        ((obj)?(obj_next=xbt_swag_getNext((obj),(swag)->offset)):  \
 121                  (obj_next=NULL));                                \
 122        (obj)!=NULL;                                               \
 123        (obj)=obj_next,                                            \
 124        ((obj)?(obj_next=xbt_swag_getNext((obj),(swag)->offset)):  \
 125                  (obj_next=NULL))     )
 126 /**< A safe swag iterator
 127  * \param obj the indice of the loop
 128  * \param obj_next the object that is right after (if any) \a obj in the swag
 129  * \param swag what to iterate over
 130
 131     You can safely modify the \a swag while using this loop.
 132     Well, safely... Err. You can remove \a obj without having any
 133     trouble at least.  */
 134 /* @} */
 135
 136 #endif    /* _XBT_SWAG_H */