return ret;
}
+val_t PJ_value_get_or_new (const char *name, const char *color, type_t father)
+{
+ xbt_ex_t e;
+ TRY {
+ return PJ_value_get(name, father);
+ }
+ CATCH(e) {
+ xbt_ex_free(e);
+ return PJ_value_new(name, color, father);
+ }
+ THROW_IMPOSSIBLE;
+}
+
val_t PJ_value_get (const char *name, type_t father)
{
if (name == NULL || father == NULL){
/* instr_paje_values.c */
val_t PJ_value_new (const char *name, const char *color, type_t father);
+val_t PJ_value_get_or_new (const char *name, const char *color, type_t father);
val_t PJ_value_get (const char *name, const type_t father);
void PJ_value_free (val_t value);