Tried to fix some problems with the configuration system.

[splint.git] / src / Headers / valueTable.h

diff --git a/src/Headers/valueTable.h b/src/Headers/valueTable.h
index 0c24a7f6990879e7c8cb9e8305f824ecd3130a19..6860e3c5f983c5d53c5e302c9be1623c8992a590 100644 (file)
--- a/src/Headers/valueTable.h
+++ b/src/Headers/valueTable.h
@@ -37,6 +37,10 @@ extern /*@null@*/ /*@dependent@*/ /*@exposed@*/ stateValue
   ((stateValue) genericTable_lookup ((genericTable) (p_h), p_key))
 /*@noaccess stateValue@*/
 
+extern bool valueTable_contains (valueTable p_h, cstring p_key) /*@*/ ;
+# define valueTable_contains(p_h,p_key) \
+ (stateValue_isDefined (valueTable_lookup (p_h, p_key)))
+
 extern /*@unused@*/ /*@only@*/ cstring valueTable_stats(valueTable p_h);
 # define valueTable_stats(p_h) genericTable_stats ((genericTable) (p_h))