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 {
+ try {
ret = PJ_value_get(name, father);
}
- CATCH(e) {
- xbt_ex_free(e);
+ catch(xbt_ex& e) {
ret = PJ_value_new(name, color, father);
}
return ret;