X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/abd7f89523564e5e238e5852585b98f72c3b48f4..112c85fd5ba63bbf83526cdadfc7751b2cf74311:/src/Headers/valueTable.h

diff --git a/src/Headers/valueTable.h b/src/Headers/valueTable.h
index 51efe10..ea76b57 100644
--- a/src/Headers/valueTable.h
+++ b/src/Headers/valueTable.h
@@ -1,5 +1,5 @@
 /*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
 ** See ../LICENSE for license information.
 */
 /*
@@ -55,17 +55,8 @@ extern /*@only@*/ valueTable valueTable_copy (valueTable p_s) ;
 
 /*@iter valueTable_elements (sef valueTable p_g, yield exposed cstring m_key, yield exposed stateValue m_el)@*/
 
-# define valueTable_elements(p_g, m_key, m_el) \
-   { if (valueTable_isDefined (p_g)) {  int m_ind; \
-     { for (m_ind = 0 ; m_ind < (p_g)->size; m_ind++) \
-       { ghbucket m_hb; m_hb = (p_g)->buckets[m_ind]; \
-         if (m_hb != NULL) { \
-           int m_j; \
-           for (m_j = 0; m_j < (m_hb)->size; m_j++) { \
-             cstring m_key; stateValue m_el; m_key = (m_hb)->entries[m_j]->key; \
-   /*@access stateValue@*/ m_el = (stateValue) (m_hb)->entries[m_j]->val; /*@noaccess stateValue@*/
-
-# define end_valueTable_elements }}}}}}
+# define valueTable_elements(p_g, m_key, m_el) genericTable_elements (p_g, m_key, m_el)
+# define end_valueTable_elements end_genericTable_elements
 
 extern int valueTable_size (valueTable p_h) /*@*/ ;
 # define valueTable_size(p_h) (genericTable_size(p_h))