** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
** MA 02111-1307, USA.
**
-** For information on lclint: lclint-request@cs.virginia.edu
-** To report a bug: lclint-bug@cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
** For more information: http://www.splint.org
*/
/*
** Based on genericTable.c
*/
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
# include "basic.h"
# include "randomNumbers.h"
void valueTable_insert (valueTable h, cstring key, stateValue value)
{
+ llassert (stateValue_isDefined (value));
genericTable_insert ((genericTable) (h), key, (void *) (value));
}
void valueTable_update (valueTable h, cstring key, stateValue newval)
{
DPRINTF (("Update: %s -> %s", key, stateValue_unparse (newval)));
-
+ llassert (stateValue_isDefined (newval));
genericTable_update ((genericTable) (h), key, (void *) (newval));
}