From: schnorr <Lucas.Schnorr@imag.fr>
Date: Wed, 6 Jun 2012 13:34:25 +0000 (+0200)
Subject: [trace] launch an exception if user provided an unknown value for the type
X-Git-Tag: v3_8~646^2~18
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/9f3329f034f04e74f367ea33d99ab9236f04fb1c

[trace] launch an exception if user provided an unknown value for the type
---

diff --git a/src/instr/instr_paje_values.c b/src/instr/instr_paje_values.c
index 70580430e3..792438350c 100644
--- a/src/instr/instr_paje_values.c
+++ b/src/instr/instr_paje_values.c
@@ -39,7 +39,9 @@ val_t PJ_value_get (const char *name, type_t father)
   if (father->kind == TYPE_VARIABLE) return NULL; //Variables can't have different values
   val_t ret = (val_t)xbt_dict_get_or_null (father->values, name);
   if (ret == NULL){
-    return NULL;
+    if (ret == NULL){
+      THROWF (tracing_error, 2, "value with name (%s) not found in father type (%s)", name, father->name);
+    }
   }
   return ret;
 }