XBT_LOG_NEW_DEFAULT_SUBCATEGORY(datadesc,gras,"Data description");
/* FIXME: make this host-dependent using a trick such as UserData*/
-xbt_set_t gras_datadesc_set_local=NULL;
+/*@null@*/xbt_set_t gras_datadesc_set_local=NULL;
/* callback for array size when sending strings */
static int
-_strlen_cb(gras_cbps_t vars, void *data) {
+_strlen_cb(/*@unused@*/gras_cbps_t vars, void *data) {
- return 1+(long int)strlen(data);
+ return 1+(int)strlen(data);
}
DEBUG0("Exited DataDesc");
}
-/**
- * gras_datadesc_get_name:
- *
- * Returns the name of a datadescription (to ease the debug)
- */
+/** This is mainly to debug */
char *
gras_datadesc_get_name(gras_datadesc_type_t ddt) {
return ddt->name;
}
-/**
- * gras_datadesc_get_id:
- *
- * Returns the name of a datadescription (to ease the debug)
- */
+/** This is mainly to debug */
int
gras_datadesc_get_id(gras_datadesc_type_t ddt) {
return ddt->code;