From 9f3329f034f04e74f367ea33d99ab9236f04fb1c Mon Sep 17 00:00:00 2001
From: schnorr <Lucas.Schnorr@imag.fr>
Date: Wed, 6 Jun 2012 15:34:25 +0200
Subject: [PATCH] [trace] launch an exception if user provided an unknown value
 for the type

---
 src/instr/instr_paje_values.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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;
 }
-- 
2.20.1