Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
New function allowing to alias datatypes
[simgrid.git] / include / gras / datadesc.h
1 /* $Id$ */
2
3 /* gras/datadesc.h - Describing the data you want to exchange               */
4
5 /* Copyright (c) 2003, 2004 Martin Quinson. All rights reserved.            */
6
7 /* This program is free software; you can redistribute it and/or modify it
8  * under the terms of the license (GNU LGPL) which comes with this package. */
9
10 #ifndef GRAS_DATADESC_H
11 #define GRAS_DATADESC_H
12
13 #include "xbt/misc.h" /* SG_BEGIN_DECL */
14 #include "xbt/dynar.h" /* void_f_pvoid_t */
15
16 SG_BEGIN_DECL()
17
18 /** @addtogroup GRAS_dd Data description
19  *  @brief Describing data to be exchanged
20  *
21  * Since GRAS takes care of potential representation conversion when the platform is heterogeneous, 
22  * any data which transits on the network must be described beforehand.
23  * 
24  * There is several possible interfaces for this, ranging from the really completely automatic parsing to 
25  * completely manual. Let's study each of them from the simplest to the more advanced:
26  * 
27  *   - Section \ref GRAS_dd_basic presents how to retrieve and use an already described type.
28  *   - Section \ref GRAS_dd_auto shows how to get GRAS parsing your type description automagically. This
29  *     is unfortunately not always possible (only works for some structures), but if it is for your data,
30  *     this is definitly the way to go.
31  *   - Section \ref GRAS_dd_manual presents how to build a description manually. This is useful when you want
32  *     to describe an array or a pointer of pre-defined structures.
33  *   - You sometimes need to exchange informations between descriptions at send or receive time. This is 
34  *     for example useful when your structure contains an array which size is given by another field of the 
35  *     structure.
36  *     - Section \ref GRAS_dd_cb_simple provides a simple interface to do so, allowing to share integers stored on a stack.
37  *     - Section \ref GRAS_dd_cb_full provides a full featured interface to do so, but it may reveal somehow difficult to use.
38  **/
39
40 /** @defgroup GRAS_dd_basic Basic operations on data descriptions
41  *  @ingroup GRAS_dd
42  * \htmlonly <!-- DOXYGEN_NAVBAR_LABEL="Basics" --> \endhtmlonly
43  *
44  * If you only want to send pre-existing types, simply retrieve the pre-defined description with 
45  * the \ref gras_datadesc_by_name function. Existing types entail:
46  *  - char (both signed and unsigned)
47  *  - int (short, regular, long and long long, both signed and unsigned)
48  *  - float and double
49  *  - string (which is indeed a reference to a dynamically sized array of char, strlen being used to retrieve the size)
50  * 
51  * Example:\verbatim gras_datadesc_type_t i = gras_datadesc_by_name("int");
52  gras_datadesc_type_t uc = gras_datadesc_by_name("unsigned char");
53  gras_datadesc_type_t str = gras_datadesc_by_name("string");\endverbatim
54  *
55  */
56 /* @{ */
57   
58 /** @brief Opaque type describing a type description. */
59 typedef struct s_gras_datadesc_type *gras_datadesc_type_t;
60
61 /** \brief Search a type description from its name */
62 XBT_PUBLIC(gras_datadesc_type_t) gras_datadesc_by_name(const char *name);
63 XBT_PUBLIC(gras_datadesc_type_t) gras_datadesc_by_name_or_null(const char *name);
64
65 /* @} */
66     
67 /** @defgroup GRAS_dd_auto Automatic parsing of data descriptions
68  *  @ingroup GRAS_dd
69  * \htmlonly <!-- DOXYGEN_NAVBAR_LABEL="Automatic parsing" --> \endhtmlonly
70  * 
71  *  If you need to declare a new datatype, this is the simplest way to describe it to GRAS. Simply
72  *  enclose its type definition  into a \ref GRAS_DEFINE_TYPE macro call, and you're set. Here is 
73  *  an type declaration  example: \verbatim GRAS_DEFINE_TYPE(mytype,struct mytype {
74    int myfirstfield;
75    char mysecondfield;
76  });\endverbatim
77  *  The type is then both copied verbatim into your source file and stored for further parsing. This allows
78  *  you to let GRAS parse the exact version you are actually using in your program.
79  *  You can then retrieve the corresponding type description with \ref gras_datadesc_by_symbol.
80  *  Don't worry too much for the performances, the type is only parsed once and a binary representation 
81  *  is stored and used in any subsequent calls.
82  * 
83  *  If your structure contains any pointer, you have to explain GRAS the size of the pointed array. This
84  *  can be 1 in the case of simple references, or more in the case of regular arrays. For that, use the 
85  *  \ref GRAS_ANNOTE macro within the type declaration you are passing to \ref GRAS_DEFINE_TYPE. This macro
86  *  rewrites itself to nothing in the declaration (so they won't pollute the type definition copied verbatim
87  *  into your code), and give some information to GRAS about your pointer. 
88  
89  *  GRAS_ANNOTE takes two arguments being the key name and the key value. For now, the only accepted key name 
90  *  is "size", to specify the length of the pointed array. It can either be:
91  *    - the string "1" (without the quote),
92  *    - the name of another field of the structure
93  *    - a sort of computed expression for multidimensional arrays (see below -- pay attention to the warnings below).
94  *  
95  *  Here is an example:\verbatim GRAS_DEFINE_TYPE(s_clause,
96   struct s_array {
97     xbt_string_t name;
98     struct s_array *father GRAS_ANNOTE(size,1);
99     int length;
100     int *data GRAS_ANNOTE(size,length);
101     int rows;
102     int cols;
103     int *matrix GRAS_ANNOTE(size,rows*cols);
104  }
105 ;)\endverbatim
106  * It specifies that the structure s_array contains six fields, that the \a name field is a classical null-terminated 
107  * char* string (#xbt_string_t is just an helper type defined exactly to help the parsing macro to specify the semantic of the pointer),
108  * that \a father field is a simple reference, that the size of the array pointed by \a data is the \a length field, and that the 
109  * \a matrix field is an arraywhich size is the result of \a rows times \a cols.
110  *
111  *  \warning Since GRAS_DEFINE_TYPE is a macro, you shouldn't put any comma in your type definition 
112  *  (comma separates macro args). For example, change \verbatim int a, b;\endverbatim to \verbatim int a;
113 int b;\endverbatim
114  * 
115  * \section gras_dd_define \#define and fixed size array
116  *
117  * If you want to exchange arrays which size is given at compilation time by a
118  * \#defined constant, you need to keep GRAS informed. It would be done the
119  * following way:
120
121 \verbatim #define BLOCK_SIZE 32
122 GRAS_DEFINE_TYPE(s_toto,
123 struct {
124   double data[BLOCK_SIZE];
125 } s_toto;)
126
127 void register_messages() { 
128   gras_datadesc_type_t toto_type;
129
130   gras_datadesc_set_const("BLOCK_SIZE",BLOCK_SIZE);
131   toto_type = gras_datadesc_by_symbol(s_toto); 
132 }\endverbatim
133  *
134  * The form <tt>gras_datadesc_set_const("BLOCK_SIZE",BLOCK_SIZE);</tt> ensures
135  * that when you change the definition of the constant, GRAS keeps informed of
136  * the right value. Passing the numerical value of the constant as second
137  * argument would be a bad idea to that regard. Of course, the call to
138  * gras_datadesc_set_const() should come before any gras_datadesc_by_symbol()
139  * containing references to it.
140  *
141  * \section GRAS_dd_multidim Defining multidimentional arrays
142  * 
143  *  The mecanism for multidimensional arrays is known to be fragile and cumbersome. If you want to use it, 
144  *  you have to understand how it is implemented: the multiplication is performed using the sizes stack. In previous example,
145  *  a \ref gras_datadesc_cb_push_int callback is added to the \a rows field and a \ref gras_datadesc_cb_push_int_mult one is 
146  *  added to \a cols. So, when the structure is sent, the \a rows field push its value onto the stack, then the \a cols field 
147  *  retrieve this value from the stack, compute (and push) the multiplication value. The \a matrix field can then retrieve this
148  *  value by poping the array. There is several ways for this to go wrong:
149  *   - if the matrix field is placed before the sizes, the right value won't get pushed into the stack soon enough. 
150  *     Reorder your structure fields if needed.
151  *   - if you write GRAS_ANNOTE(size,cols*rows); in previous example (inverting rows and cols in annotation),
152  *     \a rows will be given a \ref gras_datadesc_cb_push_int_mult. This cannot work since it will try to 
153  *     pop the value which will be pushed by \a cols <i>afterward</i>.
154  *   - if you have more than one matrix in your structure, don't interleave the size. They are pushed/poped in the structure order.
155  *   - if some of the sizes are used in more than one matrix, you cannot use this mecanism -- sorry. 
156  *
157  * If you cannot express your datadescs with this mechanism, you'll have to use the more advanced 
158  * (and somehow complex) one described in the \ref GRAS_dd_cb_full.
159  *
160  * \section GRAS_dd_multifile Projects spanning over multiple files
161  * 
162  * GRAS_DEFINE_TYPE declares some symbols to work, it needs some special
163  * care when used in several files. In such case, you want the regular type
164  * definition in all files, but the gras specific symbol defined in only
165  * one file. For example, consider the following gras project sketch.
166  * 
167 \verbatim #include <gras.h>
168
169 GRAS_DEFINE_TYPE(my_type,struct my_type {
170   int a;
171   int b;
172   double c;
173 });
174
175 int client(int argc, char *argv[]) {
176  ...
177 }
178
179 int server(int argc, char *argv[]) {
180  ...
181 }\endverbatim
182  * 
183  * If you want to split this in two files (one for each kind of processes),
184  * you need to put the GRAS_DEFINE_TYPE block in a separate header (so that
185  * each process kind see the associated C type definition). But
186  * then you cannot include this right away in all files because the extra
187  * symbols containing the GRAS definition would be dupplicated.
188  * 
189  * You thus have to decide in which C file the symbols will live. In that
190  * file, include the header without restriction:
191  * 
192 \verbatim #include "my_header.h"
193
194 int client(int argc, char *argv[]) {
195   ...
196 }\endverbatim
197
198  * And in the other files needing the C definitions without the extra GRAS
199  * symbols, declare the symbol GRAS_DEFINE_TYPE_EXTERN before loading gras.h:
200  * 
201 \verbatim #define GRAS_DEFINE_TYPE_EXTERN
202 #include <gras.h>
203 #include "my_header.h"
204
205 int server(int argc, char *argv[]) {
206   ...
207 }\endverbatim
208
209  * 
210  * Sometimes, the situation is even more complicated: There is some shared
211  * messages that you want to see from every file, and some private messages 
212  * that you want to be defined only in one C file.
213  * In that case, use the previous trick for common messages, and use 
214  * #GRAS_DEFINE_TYPE_LOCAL for the private messages. 
215  *
216  * For now, there is no way to have semi-private symbols (for example shared 
217  * in all files of a library), sorry. Use functions as interface to your 
218  * library instead of publishing directly the messages.
219  * 
220  */
221 /** @{ */
222
223  
224 /**   @brief Automatically parse C code
225  *    @hideinitializer
226  */
227 #define GRAS_DEFINE_TYPE(name,def) \
228   const char * _gras_this_type_symbol_does_not_exist__##name=#def; def
229
230 #ifndef DOXYGEN_SKIP /* doxygen don't like macro fun too much */
231 #  ifdef GRAS_DEFINE_TYPE_EXTERN
232 #    undef  GRAS_DEFINE_TYPE
233 #    define GRAS_DEFINE_TYPE(name,def)  def
234 #    undef GRAS_DEFINE_TYPE_EXTERN
235 #  endif
236 #endif
237
238 /**   @brief if this symbol is defined, the \a GRAS_DEFINE_TYPE symbols live in another file.
239  *    @hideinitializer
240  */
241 #define GRAS_DEFINE_TYPE_EXTERN 1
242 /* leave the fun of declaring this to the user */
243 #undef GRAS_DEFINE_TYPE_EXTERN 
244
245 /** @brief Define a symbol to be automatically parsed, disregarding #GRAS_DEFINE_TYPE_EXTERN
246  *  @hideinitializer
247  * 
248  *  Call this macro instead of #GRAS_DEFINE_TYPE if you had to define #GRAS_DEFINE_TYPE_EXTERN
249  *  to load some external symbols, but if you now want to automatically parse the content of 
250  *  your private messages.
251  */
252 #define GRAS_DEFINE_TYPE_LOCAL(name, def) \
253   const char * _gras_this_type_symbol_does_not_exist__##name=#def; def
254   
255 /** @brief Retrieve a datadesc which was previously parsed 
256  *  @hideinitializer
257  */
258 #define gras_datadesc_by_symbol(name)  \
259   (gras_datadesc_by_name_or_null(#name) ?      \
260    gras_datadesc_by_name_or_null(#name) :      \
261      gras_datadesc_parse(#name,        \
262                          _gras_this_type_symbol_does_not_exist__##name) \
263   )
264
265 /** @def GRAS_ANNOTE
266  *  @brief Add an annotation to a type to be automatically parsed
267  */
268 #define GRAS_ANNOTE(key,val)
269  
270 /** @brief Defines the value of a define to the datatype parsing infrastructure
271  */
272 XBT_PUBLIC(void) gras_datadesc_set_const(const char*name, int value);
273
274 /* @} */
275
276 XBT_PUBLIC(gras_datadesc_type_t) 
277 gras_datadesc_parse(const char *name, const char *C_statement);
278
279 /** @defgroup GRAS_dd_manual Simple manual data description
280  *  @ingroup GRAS_dd
281  * 
282  * Here are the functions to use if you want to declare your description manually. 
283  * The function names should be self-explanatory in most cases.
284  * 
285  * You can add callbacks to the datatypes doing any kind of action you may want. Usually, 
286  * pre-send callbacks are used to prepare the type expedition while post-receive callbacks 
287  * are used to fix any issue after the receive.
288  * 
289  * If your types are dynamic, you'll need to add some extra callback. For example, there is a
290  * specific callback for the string type which is in charge of computing the length of the char
291  * array. This is done with the cbps mechanism, explained in next section.
292  * 
293  * If your types may contain pointer cycle, you must specify it to GRAS using the @ref gras_datadesc_cycle_set. 
294  * 
295  * Example:\verbatim
296  typedef struct {
297    unsigned char c1;
298    unsigned long int l1;
299    unsigned char c2;
300    unsigned long int l2;
301  } mystruct;
302  [...]
303   my_type=gras_datadesc_struct("mystruct");
304   gras_datadesc_struct_append(my_type,"c1", gras_datadesc_by_name("unsigned char"));
305   gras_datadesc_struct_append(my_type,"l1", gras_datadesc_by_name("unsigned long"));
306   gras_datadesc_struct_append(my_type,"c2", gras_datadesc_by_name("unsigned char"));
307   gras_datadesc_struct_append(my_type,"l2", gras_datadesc_by_name("unsigned long int"));
308   gras_datadesc_struct_close(my_type);
309
310   my_type=gras_datadesc_ref("mystruct*", gras_datadesc_by_name("mystruct"));
311   
312   [Use my_type to send pointers to mystruct data]\endverbatim
313  */
314 /* @{ */
315
316
317 /** \brief Opaque type describing a type description callback persistant state. */
318 typedef struct s_gras_cbps *gras_cbps_t;
319
320 /* callbacks prototypes */
321 /** \brief Prototype of type callbacks returning nothing. */
322 typedef void (*gras_datadesc_type_cb_void_t)(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
323 /** \brief Prototype of type callbacks returning an int. */
324 typedef int (*gras_datadesc_type_cb_int_t)(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
325 /** \brief Prototype of type callbacks selecting a type. */
326 typedef gras_datadesc_type_t (*gras_datadesc_selector_t)(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
327
328
329 /******************************************
330  **** Declare datadescription yourself ****
331  ******************************************/
332
333 XBT_PUBLIC(gras_datadesc_type_t) gras_datadesc_struct(const char *name);
334 XBT_PUBLIC(void) gras_datadesc_struct_append(gras_datadesc_type_t  struct_type,
335                                  const char           *name,
336                                  gras_datadesc_type_t  field_type);
337 XBT_PUBLIC(void) gras_datadesc_struct_close(gras_datadesc_type_t   struct_type);
338
339
340 XBT_PUBLIC(gras_datadesc_type_t) gras_datadesc_union(const char                 *name,
341                                          gras_datadesc_type_cb_int_t selector);
342 XBT_PUBLIC(void) gras_datadesc_union_append(gras_datadesc_type_t   union_type,
343                                 const char            *name,
344                                 gras_datadesc_type_t   field_type);
345 XBT_PUBLIC(void) gras_datadesc_union_close(gras_datadesc_type_t    union_type);
346
347
348 XBT_PUBLIC(gras_datadesc_type_t) 
349   gras_datadesc_ref(const char          *name,
350                     gras_datadesc_type_t referenced_type);
351 XBT_PUBLIC(gras_datadesc_type_t) 
352   gras_datadesc_copy(const char          *name,
353                      gras_datadesc_type_t copied_type);
354 XBT_PUBLIC(gras_datadesc_type_t) 
355   gras_datadesc_ref_generic(const char              *name,
356                             gras_datadesc_selector_t selector);
357
358 XBT_PUBLIC(gras_datadesc_type_t) 
359   gras_datadesc_array_fixed(const char          *name,
360                             gras_datadesc_type_t element_type,
361                             long int             fixed_size);
362 XBT_PUBLIC(gras_datadesc_type_t) 
363   gras_datadesc_array_dyn(const char                 *name,
364                           gras_datadesc_type_t        element_type,
365                           gras_datadesc_type_cb_int_t dynamic_size);
366 XBT_PUBLIC(gras_datadesc_type_t) 
367   gras_datadesc_ref_pop_arr(gras_datadesc_type_t  element_type);
368
369 XBT_PUBLIC(gras_datadesc_type_t) 
370   gras_datadesc_dynar(gras_datadesc_type_t elm_t,
371                       void_f_pvoid_t *free_func);
372 XBT_PUBLIC(gras_datadesc_type_t)
373   gras_datadesc_matrix(gras_datadesc_type_t elm_t,
374                        void_f_pvoid_t * const free_f);
375
376 /*********************************
377  * Change stuff within datadescs *
378  *********************************/
379
380 /** \brief Specify that this type may contain cycles */
381 XBT_PUBLIC(void) gras_datadesc_cycle_set(gras_datadesc_type_t type);
382 /** \brief Specify that this type do not contain any cycles (default) */
383 XBT_PUBLIC(void) gras_datadesc_cycle_unset(gras_datadesc_type_t type);
384 /** \brief Add a pre-send callback to this datadesc. */
385 XBT_PUBLIC(void) gras_datadesc_cb_send (gras_datadesc_type_t         type,
386                             gras_datadesc_type_cb_void_t pre);
387 /** \brief Add a post-receive callback to this datadesc.*/
388 XBT_PUBLIC(void) gras_datadesc_cb_recv(gras_datadesc_type_t          type,
389                            gras_datadesc_type_cb_void_t  post);
390 /** \brief Add a pre-send callback to the given field of the datadesc */
391 XBT_PUBLIC(void) gras_datadesc_cb_field_send (gras_datadesc_type_t   type,
392                                   const char            *field_name,
393                                   gras_datadesc_type_cb_void_t  pre);
394 /** \brief Add a post-receive callback to the given field of the datadesc */
395 XBT_PUBLIC(void) gras_datadesc_cb_field_recv(gras_datadesc_type_t    type,
396                                  const char             *field_name,
397                                  gras_datadesc_type_cb_void_t  post);
398 /** \brief Add a pre-send callback to the given field resulting in its value to be pushed */
399 XBT_PUBLIC(void) gras_datadesc_cb_field_push (gras_datadesc_type_t   type,
400                                   const char            *field_name);
401 /** \brief Add a pre-send callback to the given field resulting in its value multiplied to any previously pushed value and then pushed back */
402 XBT_PUBLIC(void) gras_datadesc_cb_field_push_multiplier (gras_datadesc_type_t type,
403                                              const char          *field_name);
404
405 /******************************
406  * Get stuff within datadescs *
407  ******************************/
408 /** \brief Returns the name of a datadescription */
409 XBT_PUBLIC(const char *) gras_datadesc_get_name(gras_datadesc_type_t ddt);
410 /** \brief Returns the identifier of a datadescription */
411 XBT_PUBLIC(int) gras_datadesc_get_id(gras_datadesc_type_t ddt);
412
413 /* @} */
414
415 /** @defgroup GRAS_dd_cb_simple Data description with Callback Persistant State: Simple push/pop mechanism
416  *  @ingroup GRAS_dd
417  * 
418  * Sometimes, one of the callbacks need to leave information for the next ones. If this is a simple integer (such as
419  * an array size), you can use the functions described here. If not, you'll have to play with the complete cbps interface.
420  *
421  * \htmlonly <!--  DOXYGEN_NAVBAR_LABEL="Simple push/pop Callback State" -->\endhtmlonly      
422  * 
423  * Here is an example:\verbatim
424 struct s_array {
425   int length;
426   int *data;
427 }
428 [...]
429 my_type=gras_datadesc_struct("s_array");
430 gras_datadesc_struct_append(my_type,"length", gras_datadesc_by_name("int"));
431 gras_datadesc_cb_field_send (my_type, "length", gras_datadesc_cb_push_int);
432
433 gras_datadesc_struct_append(my_type,"data",
434                             gras_datadesc_array_dyn ("s_array::data",gras_datadesc_by_name("int"), gras_datadesc_cb_pop));
435 gras_datadesc_struct_close(my_type);
436 \endverbatim
437
438  *
439  * The *_mult versions are intended for multi-dimensional arrays: They multiply their value to the previously pushed one 
440  * (by another field callback) and push the result of the multiplication back. An example of use follows. Please note
441  * that the first field needs a regular push callback, not a multiplier one. Think of it as a stacked calculator (man dc(1)).\verbatim
442 struct s_matrix {
443   int row;
444   int col;
445   int *data;
446 }
447 [...]
448 my_type=gras_datadesc_struct("s_matrix");
449 gras_datadesc_struct_append(my_type,"row", gras_datadesc_by_name("int"));
450 gras_datadesc_cb_field_send (my_type, "length", gras_datadesc_cb_push_int);
451 gras_datadesc_struct_append(my_type,"col", gras_datadesc_by_name("int"));
452 gras_datadesc_cb_field_send (my_type, "length", gras_datadesc_cb_push_int_mult);
453
454 gras_datadesc_struct_append(my_type,"data",
455                             gras_datadesc_array_dyn ("s_matrix::data",gras_datadesc_by_name("int"), gras_datadesc_cb_pop));
456 gras_datadesc_struct_close(my_type);
457 \endverbatim
458  
459  */
460 /* @{ */
461
462 XBT_PUBLIC(void)
463 gras_cbps_i_push(gras_cbps_t ps, int val);
464 XBT_PUBLIC(int) 
465 gras_cbps_i_pop(gras_cbps_t ps);
466
467 XBT_PUBLIC(int) gras_datadesc_cb_pop(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
468
469 XBT_PUBLIC(void) gras_datadesc_cb_push_int(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
470 XBT_PUBLIC(void) gras_datadesc_cb_push_uint(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
471 XBT_PUBLIC(void) gras_datadesc_cb_push_lint(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
472 XBT_PUBLIC(void) gras_datadesc_cb_push_ulint(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
473
474 XBT_PUBLIC(void) gras_datadesc_cb_push_int_mult(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
475 XBT_PUBLIC(void) gras_datadesc_cb_push_uint_mult(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
476 XBT_PUBLIC(void) gras_datadesc_cb_push_lint_mult(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
477 XBT_PUBLIC(void) gras_datadesc_cb_push_ulint_mult(gras_datadesc_type_t typedesc, gras_cbps_t vars, void *data);
478
479
480 /* @} */
481
482 /** @defgroup GRAS_dd_cb_full Data description with Callback Persistant State: Full featured interface
483  *  @ingroup GRAS_dd
484  * 
485  * Sometimes, one of the callbacks need to leave information for the next
486  * ones. If the simple push/pop mechanism introduced in previous section
487  * isn't enough, you can always use this full featured one. The bad point is
488  * that it is quite badly documented...
489  *
490  * \htmlonly <!--  DOXYGEN_NAVBAR_LABEL="Full featured Callback State" -->\endhtmlonly      
491  *
492  */
493
494 /* @{ */
495
496 XBT_PUBLIC(void)   gras_cbps_v_pop (gras_cbps_t            ps, 
497                         const char            *name,
498               /* OUT */ gras_datadesc_type_t  *ddt,
499               /* OUT */ void                 **res);
500 XBT_PUBLIC(void)   gras_cbps_v_push(gras_cbps_t            ps,
501                         const char            *name,
502                         void                  *data,
503                         gras_datadesc_type_t   ddt);
504 XBT_PUBLIC(void)   gras_cbps_v_set (gras_cbps_t            ps,
505                         const char            *name,
506                         void                  *data,
507                         gras_datadesc_type_t   ddt);
508
509 XBT_PUBLIC(void*) gras_cbps_v_get (gras_cbps_t            ps, 
510                         const char            *name,
511               /* OUT */ gras_datadesc_type_t  *ddt);
512
513 XBT_PUBLIC(void) gras_cbps_block_begin(gras_cbps_t ps);
514 XBT_PUBLIC(void) gras_cbps_block_end(gras_cbps_t ps);
515
516 /* @} */
517 /* @} */
518
519
520 /*******************************
521  **** About data convertion ****
522  *******************************/
523 XBT_PUBLIC(int) gras_arch_selfid(void); /* ID of this arch */
524
525
526 /*****************************
527  **** NWS datadescription * FIXME: obsolete?
528  *****************************/
529
530 /**
531  * Basic types we can embeed in DataDescriptors.
532  */
533 typedef enum
534   {CHAR_TYPE, DOUBLE_TYPE, FLOAT_TYPE, INT_TYPE, LONG_TYPE, SHORT_TYPE,
535    UNSIGNED_INT_TYPE, UNSIGNED_LONG_TYPE, UNSIGNED_SHORT_TYPE, STRUCT_TYPE}
536   DataTypes;
537 #define SIMPLE_TYPE_COUNT 9
538
539 /**  \brief Describe a collection of data.
540  * 
541 ** A description of a collection of \a type data.  \a repetitions is used only
542 ** for arrays; it contains the number of elements.  \a offset is used only for
543 ** struct members in host format; it contains the offset of the member from the
544 ** beginning of the struct, taking into account internal padding added by the
545 ** compiler for alignment purposes.  \a members, \a length, and \a tailPadding are
546 ** used only for STRUCT_TYPE data; the \a length -long array \a members describes
547 ** the members of the nested struct, and \a tailPadding indicates how many
548 ** padding bytes the compiler adds to the end of the structure.
549 */
550
551 typedef struct DataDescriptorStruct {
552   DataTypes type;
553   size_t repetitions;
554   size_t offset;
555   /*@null@*/ struct DataDescriptorStruct *members;
556   size_t length;
557   size_t tailPadding;
558 } DataDescriptor;
559 /** DataDescriptor for an array */
560 #define SIMPLE_DATA(type,repetitions) \
561   {type, repetitions, 0, NULL, 0, 0}
562 /** DataDescriptor for an structure member */
563 #define SIMPLE_MEMBER(type,repetitions,offset) \
564   {type, repetitions, offset, NULL, 0, 0}
565 /** DataDescriptor for padding bytes */
566 #define PAD_BYTES(structType,lastMember,memberType,repetitions) \
567   sizeof(structType) - offsetof(structType, lastMember) - \
568   sizeof(memberType) * repetitions
569
570 XBT_PUBLIC(gras_datadesc_type_t)
571 gras_datadesc_import_nws(const char           *name,
572                          const DataDescriptor *desc,
573                          unsigned long         howmany);
574
575
576 SG_END_DECL()
577
578 #endif /* GRAS_DATADESC_H */