/* cbps - persistant states for callbacks */
-/* Authors: Olivier Aumage, Martin Quinson */
-/* Copyright (C) 2003, 2004 da GRAS posse. */
+/* Copyright (c) 2003 Olivier Aumage. */
+/* Copyright (c) 2003, 2004 Martin Quinson. */
+/* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
- under the terms of the license (GNU LGPL) which comes with this package. */
+ * under the terms of the license (GNU LGPL) which comes with this package. */
+#include "xbt/ex.h"
#include "gras/DataDesc/datadesc_private.h"
-GRAS_LOG_NEW_DEFAULT_SUBCATEGORY(ddt_cbps,datadesc,"callback persistant state");
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(gras_ddt_cbps,gras_ddt,"callback persistant state");
typedef struct {
- gras_datadesc_type_t *type;
- void *data;
-} gras_cbps_elm_t;
+ gras_datadesc_type_t type;
+ void *data;
+} s_gras_cbps_elm_t, *gras_cbps_elm_t;
-struct s_gras_cbps {
- gras_dynar_t *lints; /* simple stack of long integers (easy interface) */
+typedef struct s_gras_cbps {
+ xbt_dynar_t lints; /* simple stack of long integers (easy interface) */
- gras_dict_t *space; /* varname x dynar of gras_cbps_elm_t */
- gras_dynar_t *frames; /* of dynar of names defined within this frame
+ xbt_dict_t space; /* varname x dynar of gras_cbps_elm_t */
+ xbt_dynar_t frames; /* of dynar of names defined within this frame
(and to pop when we leave it) */
- gras_dynar_t *globals;
-};
+ xbt_dynar_t globals;
+} s_gras_cbps_t;
-static void free_string(void *d);
+gras_cbps_t gras_cbps_new(void) {
+ gras_cbps_t res;
-static void free_string(void *d){
- gras_free(*(void**)d);
-}
+ res=xbt_new(s_gras_cbps_t,1);
+
+ res->lints = xbt_dynar_new(sizeof(int), NULL);
+ res->space = xbt_dict_new();
+ /* no leak, the content is freed manually on block_end */
+ res->frames = xbt_dynar_new(sizeof(xbt_dynar_t), NULL);
+ res->globals = xbt_dynar_new(sizeof(char*), NULL);
+
+ gras_cbps_block_begin(res);
-gras_error_t
-gras_cbps_new(gras_cbps_t **dst) {
- gras_error_t errcode;
- gras_cbps_t *res;
+ return res;
+}
- if (!(res=gras_new(gras_cbps_t,1)))
- RAISE_MALLOC;
+void gras_cbps_free(gras_cbps_t *state) {
- TRY(gras_dynar_new(&(res->lints), sizeof(int), NULL));
+ xbt_dynar_free( &( (*state)->lints ) );
- TRY(gras_dict_new(&(res->space)));
- /* no leak, the content is freed manually on block_end */
- TRY(gras_dynar_new(&(res->frames), sizeof(gras_dynar_t*), NULL));
- TRY(gras_dynar_new(&(res->globals), sizeof(char*), NULL));
+ gras_cbps_block_end(*state);
+ xbt_dict_free ( &( (*state)->space ) );
+ xbt_dynar_free( &( (*state)->frames ) );
+ xbt_dynar_free( &( (*state)->globals ) );
- gras_cbps_block_begin(res);
- *dst = res;
- return no_error;
+ free(*state);
+ *state = NULL;
}
-void
-gras_cbps_free(gras_cbps_t **state) {
+void gras_cbps_reset(gras_cbps_t state) {
- gras_dynar_free( (*state)->lints );
+ xbt_dynar_reset(state->lints);
- gras_cbps_block_end(*state);
- gras_dict_free ( &( (*state)->space ) );
- gras_dynar_free( (*state)->frames );
- gras_dynar_free( (*state)->globals );
+ xbt_dict_reset (state->space);
- gras_free(*state);
- *state = NULL;
+ xbt_dynar_reset(state->frames);
+ xbt_dynar_reset(state->globals);
}
-/**
- * gras_cbps_v_push:
+/** \brief Declare a new element in the PS, and give it a value.
*
- * Declare a new element in the PS, and give it a value. If an element of that
- * name already exists, it is masked by the one given here, and will be
+ * If an element of that
+ * name already exists, it is masked by the one given here, and will be
* seeable again only after a pop to remove the value this push adds.
*/
-gras_error_t
-gras_cbps_v_push(gras_cbps_t *ps,
- const char *name,
- void *data,
- gras_datadesc_type_t *ddt) {
-
- gras_dynar_t *varstack,*frame;
- gras_cbps_elm_t *p_var;
- gras_error_t errcode;
- char *varname = (char*)strdup(name);
-
- DEBUG2("push(%s,%p)",name,(void*)data);
- errcode = gras_dict_get(ps->space, name, (void **)&varstack);
-
- if (errcode == mismatch_error) {
- DEBUG1("Create a new variable stack for '%s' into the space",name);
- gras_dynar_new(&varstack, sizeof (gras_cbps_elm_t *), NULL);
- gras_dict_set(ps->space, varname, (void **)varstack, NULL);
- /* leaking, you think? only if you do not close all the openned blocks ;)*/
- } else if (errcode != no_error) {
- return errcode;
- }
-
- p_var = gras_new0(gras_cbps_elm_t,1);
- p_var->type = ddt;
- p_var->data = data;
-
- gras_dynar_push(varstack, &p_var);
-
- gras_dynar_pop(ps->frames, &frame);
- DEBUG4("Push %s (%p @%p) into frame %p",varname,(void*)varname,(void*)&varname,(void*)frame);
- gras_dynar_push(frame, &varname);
- gras_dynar_push(ps->frames, &frame);
- return no_error;
+void
+gras_cbps_v_push(gras_cbps_t ps,
+ const char *name,
+ void *data,
+ gras_datadesc_type_t ddt) {
+
+ xbt_dynar_t varstack=NULL,frame;
+ gras_cbps_elm_t var;
+ char *varname = (char*)xbt_strdup(name);
+ xbt_ex_t e;
+
+ DEBUG2("push(%s,%p)",name,(void*)data);
+
+ TRY {
+ varstack = xbt_dict_get(ps->space, name);
+ } CATCH(e) {
+ if (e.category != mismatch_error)
+ RETHROW;
+
+ DEBUG1("Create a new variable stack for '%s' into the space",name);
+ varstack = xbt_dynar_new(sizeof (gras_cbps_elm_t *), NULL);
+ xbt_dict_set(ps->space, varname, (void **)varstack, NULL);
+ xbt_ex_free(e);
+ /* leaking, you think? only if you do not close all the openned blocks ;)*/
+ }
+
+ var = xbt_new0(s_gras_cbps_elm_t,1);
+ var->type = ddt;
+ var->data = data;
+
+ xbt_dynar_push(varstack, &var);
+
+ xbt_dynar_pop(ps->frames, &frame);
+ DEBUG4("Push %s (%p @%p) into frame %p",varname,(void*)varname,(void*)&varname,(void*)frame);
+ xbt_dynar_push(frame, &varname);
+ xbt_dynar_push(ps->frames, &frame);
}
-/**
- * gras_cbps_v_pop:
+/** \brief Retrieve an element from the PS, and remove it from the PS.
*
- * Retrieve an element from the PS, and remove it from the PS. If it's not
- * present in the current block, it will fail (with abort) and not search
- * in upper blocks since this denotes a programmation error.
+ * If it's not present in the current block, it will fail (throwing not_found)
+ * and not search in upper blocks since this denotes a programmation error.
*/
-gras_error_t
-gras_cbps_v_pop (gras_cbps_t *ps,
- const char *name,
- gras_datadesc_type_t **ddt,
- void **res) {
- gras_dynar_t *varstack,*frame;
- gras_cbps_elm_t *var = NULL;
- void *data = NULL;
- gras_error_t errcode;
-
- DEBUG1("pop(%s)",name);
- /* FIXME: Error handling */
- errcode = gras_dict_get(ps->space, name, (void **)&varstack);
- if (errcode == mismatch_error) {
- RAISE1(mismatch_error,"Asked to pop the non-existant %s",
- name);
- }
- gras_dynar_pop(varstack, &var);
-
- if (!gras_dynar_length(varstack)) {
- DEBUG1("Last incarnation of %s poped. Kill it",name);
- gras_dict_remove(ps->space, name);
- gras_dynar_free(varstack);
- }
-
- if (ddt)
- *ddt = var->type;
- data = var->data;
-
- gras_free(var);
-
- gras_dynar_pop(ps->frames, &frame);
- {
- int l = gras_dynar_length(frame);
-
- while (l--) {
- char *_name = NULL;
-
- gras_dynar_get(frame, l, &_name);
- if (!strcmp(name, _name)) {
- gras_dynar_remove_at(frame, l, &_name);
- gras_free(_name);
- break;
- }
- }
- }
- gras_dynar_push(ps->frames, &frame);
-
- *res = data;
- return no_error;
+void
+gras_cbps_v_pop (gras_cbps_t ps,
+ const char *name,
+ gras_datadesc_type_t *ddt,
+ void **res) {
+ xbt_dynar_t varstack,frame;
+ gras_cbps_elm_t var = NULL;
+ void *data = NULL;
+ xbt_ex_t e;
+
+ DEBUG1("pop(%s)",name);
+ TRY {
+ varstack = xbt_dict_get(ps->space, name);
+ } CATCH(e) {
+ if (e.category != mismatch_error)
+ RETHROW;
+
+ xbt_ex_free(e);
+ THROW1(not_found_error,1,"Asked to pop the non-existant %s", name);
+ }
+ xbt_dynar_pop(varstack, &var);
+
+ if (!xbt_dynar_length(varstack)) {
+ DEBUG1("Last incarnation of %s poped. Kill it",name);
+ xbt_dict_remove(ps->space, name);
+ xbt_dynar_free(&varstack);
+ }
+
+ if (ddt)
+ *ddt = var->type;
+ data = var->data;
+
+ free(var);
+
+ xbt_dynar_pop(ps->frames, &frame);
+ {
+ int l = xbt_dynar_length(frame);
+
+ while (l--) {
+ char *_name = NULL;
+
+ _name = xbt_dynar_get_as(frame, l, char*);
+ if (!strcmp(name, _name)) {
+ xbt_dynar_remove_at(frame, l, &_name);
+ free(_name);
+ break;
+ }
+ }
+ }
+ xbt_dynar_push(ps->frames, &frame);
+
+ *res = data;
}
-/**
- * gras_cbps_v_set:
+/** \brief Change the value of an element in the PS.
*
- * Change the value of an element in the PS.
* If it's not present in the current block, look in the upper ones.
* If it's not present in any of them, modify in the globals
* If not present there neither, the code may segfault (Oli?).
* its value is changed.
*/
void
-gras_cbps_v_set (gras_cbps_t *ps,
- const char *name,
- void *data,
- gras_datadesc_type_t *ddt) {
-
- gras_dynar_t *p_dynar = NULL;
- gras_cbps_elm_t *p_elm = NULL;
- gras_error_t errcode;
-
- DEBUG1("set(%s)",name);
- errcode = gras_dict_get(ps->space, name, (void **)&p_dynar);
-
- if (errcode == mismatch_error) {
- gras_dynar_new(&p_dynar, sizeof (gras_cbps_elm_t *), NULL);
- gras_dict_set(ps->space, name, (void **)p_dynar, NULL);
-
- p_elm = gras_new0(gras_cbps_elm_t,1);
- gras_dynar_push(ps->globals, &name);
- } else {
- gras_dynar_pop(p_dynar, &p_elm);
- }
-
- p_elm->type = ddt;
- p_elm->data = data;
-
- gras_dynar_push(p_dynar, &p_elm);
+gras_cbps_v_set (gras_cbps_t ps,
+ const char *name,
+ void *data,
+ gras_datadesc_type_t ddt) {
+
+ xbt_dynar_t dynar = NULL;
+ gras_cbps_elm_t elm = NULL;
+
+ DEBUG1("set(%s)",name);
+ dynar = xbt_dict_get_or_null(ps->space, name);
+
+ if (dynar == NULL) {
+ dynar = xbt_dynar_new(sizeof (gras_cbps_elm_t), NULL);
+ xbt_dict_set(ps->space, name, (void **)dynar, NULL);
+
+ elm = xbt_new0(s_gras_cbps_elm_t,1);
+ xbt_dynar_push(ps->globals, &name);
+ } else {
+ xbt_dynar_pop(dynar, &elm);
+ }
+
+ elm->type = ddt;
+ elm->data = data;
+
+ xbt_dynar_push(dynar, &elm);
}
-/**
- * gras_cbps_v_get:
+/** \brief Get the value of an element in the PS without modifying it.
*
- * Get the value of an element in the PS without modifying it.
* (note that you get the content of the data struct and not a copy to it)
* If it's not present in the current block, look in the upper ones.
* If it's not present in any of them, look in the globals
* If not present there neither, the code may segfault (Oli?).
*/
void *
-gras_cbps_v_get (gras_cbps_t *ps,
- const char *name,
- gras_datadesc_type_t **ddt) {
-
- gras_dynar_t *p_dynar = NULL;
- gras_cbps_elm_t *p_elm = NULL;
-
- DEBUG1("get(%s)",name);
- /* FIXME: Error handling */
- gras_dict_get(ps->space, name, (void **)&p_dynar);
- gras_dynar_pop(p_dynar, &p_elm);
- gras_dynar_push(p_dynar, &p_elm);
-
- if (ddt) {
- *ddt = p_elm->type;
- }
-
- return p_elm->data;
+gras_cbps_v_get (gras_cbps_t ps,
+ const char *name,
+ /* OUT */gras_datadesc_type_t *ddt) {
+
+ xbt_dynar_t dynar = NULL;
+ gras_cbps_elm_t elm = NULL;
+
+ DEBUG1("get(%s)",name);
+ dynar = xbt_dict_get(ps->space, name);
+ xbt_dynar_pop(dynar, &elm);
+ xbt_dynar_push(dynar, &elm);
+
+ if (ddt) {
+ *ddt = elm->type;
+ }
+
+ return elm->data;
}
-/**
- * gras_cbps_block_begin:
- *
- * Begins a new block.
+/** \brief Begins a new block.
*
* Blocks are usefull to remove a whole set of declarations you don't even know
*
- * E.g., they constitute an elegent solution to recursive data structures.
+ * E.g., they constitute an elegent solution to recursive data structures.
*
- * push/pop may be used in some cases for that, but if your recursive data
+ * push/pop may be used in some cases for that, but if your recursive data
* struct contains other structs needing themselves callbacks, you have to
* use block_{begin,end} to do the trick.
*/
void
-gras_cbps_block_begin(gras_cbps_t *ps) {
+gras_cbps_block_begin(gras_cbps_t ps) {
- gras_dynar_t *p_dynar = NULL;
+ xbt_dynar_t dynar = NULL;
- DEBUG0(">>> Block begin");
- gras_dynar_new(&p_dynar, sizeof (char *), NULL);
- gras_dynar_push(ps->frames, &p_dynar);
+ DEBUG0(">>> Block begin");
+ dynar = xbt_dynar_new(sizeof (char *), NULL);
+ xbt_dynar_push(ps->frames, &dynar);
}
-/**
- * gras_cbps_block_begin:
- *
- * End the current block, and go back to the upper one.
- */
+/** \brief End the current block, and go back to the upper one. */
void
-gras_cbps_block_end(gras_cbps_t *ps) {
-
- gras_dynar_t *frame = NULL;
- int cursor = 0;
- char *name = NULL;
-
- gras_assert0(gras_dynar_length(ps->frames),
- "More block_end than block_begin");
- gras_dynar_pop(ps->frames, &frame);
-
- gras_dynar_foreach(frame, cursor, name) {
-
- gras_dynar_t *varstack = NULL;
- gras_cbps_elm_t *var = NULL;
-
- DEBUG2("Get ride of %s (%p)",name,(void*)name);
- gras_dict_get(ps->space, name, (void **)&varstack);
- gras_dynar_pop(varstack, &var);
-
- if (!gras_dynar_length(varstack)) {
- gras_dict_remove(ps->space, name);
- gras_dynar_free_container(varstack); /*already empty, save a test ;) */
- }
-
- if (var->data) gras_free(var->data);
- gras_free(var);
- gras_free(name);
- }
- gras_dynar_free_container(frame);/* we just emptied it */
- DEBUG0("<<< Block end");
+gras_cbps_block_end(gras_cbps_t ps) {
+
+ xbt_dynar_t frame = NULL;
+ unsigned int cursor = 0;
+ char *name = NULL;
+
+ xbt_assert0(xbt_dynar_length(ps->frames),
+ "More block_end than block_begin");
+ xbt_dynar_pop(ps->frames, &frame);
+
+ xbt_dynar_foreach(frame, cursor, name) {
+
+ xbt_dynar_t varstack = NULL;
+ gras_cbps_elm_t var = NULL;
+
+ DEBUG2("Get ride of %s (%p)",name,(void*)name);
+ varstack = xbt_dict_get(ps->space, name);
+ xbt_dynar_pop(varstack, &var);
+
+ if (!xbt_dynar_length(varstack)) {
+ xbt_dict_remove(ps->space, name);
+ xbt_dynar_free_container(&varstack); /*already empty, save a test ;) */
+ }
+
+ if (var->data) free(var->data);
+ free(var);
+ free(name);
+ }
+ xbt_dynar_free_container(&frame);/* we just emptied it */
+ DEBUG0("<<< Block end");
}
-/**
- * gras_cbps_i_push:
- *
- * Push a new long integer value into the cbps.
- */
+/** \brief Push a new integer value into the cbps. */
void
-gras_cbps_i_push(gras_cbps_t *ps,
- int val) {
- gras_error_t errcode;
- DEBUG1("push %d as a size",val);
- TRYFAIL(gras_dynar_push(ps->lints,&val));
+gras_cbps_i_push(gras_cbps_t ps,
+ int val) {
+ DEBUG1("push %d as a size",val);
+ xbt_dynar_push_as(ps->lints,int,val);
}
-/**
- * gras_cbps_i_pop:
- *
- * Pop the lastly pushed long integer value from the cbps.
- */
+/** \brief Pop the lastly pushed integer value from the cbps. */
int
-gras_cbps_i_pop(gras_cbps_t *ps) {
- int ret;
-
- gras_assert0(gras_dynar_length(ps->lints) > 0,
- "gras_cbps_i_pop: no value to pop");
- gras_dynar_pop(ps->lints, &ret);
- DEBUG1("pop %d as a size",ret);
- return ret;
+gras_cbps_i_pop(gras_cbps_t ps) {
+ int ret;
+
+ xbt_assert0(xbt_dynar_length(ps->lints) > 0,
+ "gras_cbps_i_pop: no value to pop");
+ ret = xbt_dynar_pop_as(ps->lints,int);
+ DEBUG1("pop %d as a size",ret);
+ return ret;
}
-/**
- * gras_datadesc_cb_pop:
+/** \brief Generic cb returning the lastly pushed value
*
- * Generic cb returning the lastly pushed value
+ * Used by \ref gras_datadesc_ref_pop_arr
*/
-int gras_datadesc_cb_pop(gras_cbps_t *vars, void *data) {
- return gras_cbps_i_pop(vars);
+int gras_datadesc_cb_pop(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
+ return gras_cbps_i_pop(vars);
}
-/**
- * gras_datadesc_cb_push_int:
- *
- * Cb to push an integer. Must be attached to the field you want to push
- */
-void gras_datadesc_cb_push_int(gras_cbps_t *vars, void *data) {
- int *i = (int*)data;
- gras_cbps_i_push(vars, (int) *i);
+/* ************************* */
+/* **** PUSHy callbacks **** */
+/* ************************* */
+
+/** \brief Cb to push an integer. Must be attached to the field you want to push */
+void gras_datadesc_cb_push_int(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
+ int *i = (int*)data;
+ gras_cbps_i_push(vars, (int) *i);
}
-/**
- * gras_datadesc_cb_push_uint:
- *
- * Cb to push an unsigned integer. Must be attached to the field you want to push
+/** \brief Cb to push an unsigned integer. Must be attached to the field you want to push */
+void gras_datadesc_cb_push_uint(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
+ unsigned int *i = (unsigned int*)data;
+ gras_cbps_i_push(vars, (int) *i);
+}
+
+/** \brief Cb to push an long integer. Must be attached to the field you want to push
*/
-void gras_datadesc_cb_push_uint(gras_cbps_t *vars, void *data) {
- unsigned int *i = (unsigned int*)data;
- gras_cbps_i_push(vars, (int) *i);
+void gras_datadesc_cb_push_lint(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
+ long int *i = (long int*)data;
+ gras_cbps_i_push(vars, (int) *i);
+}
+/** \brief Cb to push an unsigned long integer. Must be attached to the field you want to push
+ */
+void gras_datadesc_cb_push_ulint(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
+ unsigned long int *i = (unsigned long int*)data;
+ gras_cbps_i_push(vars, (int) *i);
+}
+
+/* ************************************ */
+/* **** PUSHy multiplier callbacks **** */
+/* ************************************ */
+/** \brief Cb to push an integer as multiplier. Must be attached to the field you want to push */
+void gras_datadesc_cb_push_int_mult(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
+ int old = *(int*)data;
+ int new = gras_cbps_i_pop(vars);
+ DEBUG2("push %d x %d as a size",old,new);
+ gras_cbps_i_push(vars, old*new);
}
-/**
- * gras_datadesc_cb_push_lint:
- *
- * Cb to push an long integer. Must be attached to the field you want to push
+/** \brief Cb to push an unsigned integer as multiplier. Must be attached to the field you want to push */
+void gras_datadesc_cb_push_uint_mult(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
+ unsigned int old = *(unsigned int*)data;
+ unsigned int new = gras_cbps_i_pop(vars);
+
+ DEBUG2("push %d x %d as a size",old,new);
+ gras_cbps_i_push(vars, (int) (old*new));
+}
+
+/** \brief Cb to push an long integer as multiplier. Must be attached to the field you want to push
*/
-void gras_datadesc_cb_push_lint(gras_cbps_t *vars, void *data) {
- long int *i = (long int*)data;
- gras_cbps_i_push(vars, (int) *i);
+void gras_datadesc_cb_push_lint_mult(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
+ long int i = *(long int*)data;
+ i *= gras_cbps_i_pop(vars);
+ gras_cbps_i_push(vars, (int) i);
}
-/**
- * gras_datadesc_cb_push_ulint:
- *
- * Cb to push an long integer. Must be attached to the field you want to push
+/** \brief Cb to push an unsigned long integer as multiplier. Must be attached to the field you want to push
*/
-void gras_datadesc_cb_push_ulint(gras_cbps_t *vars, void *data) {
- unsigned long int *i = (unsigned long int*)data;
- gras_cbps_i_push(vars, (int) *i);
+void gras_datadesc_cb_push_ulint_mult(gras_datadesc_type_t ignored, gras_cbps_t vars, void *data) {
+ unsigned long int old = *(unsigned long int*)data;
+ unsigned long int new = gras_cbps_i_pop(vars);
+
+ DEBUG2("push %ld x %ld as a size",old,new);
+ gras_cbps_i_push(vars, (int) (old * new) );
}
