return ret;
}
+val_t PJ_value_get_or_new (const char *name, const char *color, type_t father)
+{
+ val_t ret = 0;
+ xbt_ex_t e;
+ TRY {
+ ret = PJ_value_get(name, father);
+ }
+ CATCH(e) {
+ xbt_ex_free(e);
+ ret = PJ_value_new(name, color, father);
+ }
+ return ret;
+}
+
val_t PJ_value_get (const char *name, type_t father)
{
if (name == NULL || father == NULL){