2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
10 ** valueTable is a table of stateValue's.
11 ** Based on genericTable
17 /*@constant null valueTable valueTable_undefined; @*/
18 # define valueTable_undefined genericTable_undefined
20 extern /*@falsenull@*/ bool valueTable_isDefined(valueTable) /*@*/ ;
21 # define valueTable_isDefined(p_h) (genericTable_isDefined ((genericTable) (p_h)))
23 extern /*@truenull@*/ bool valueTable_isUndefined(valueTable) /*@*/ ;
24 # define valueTable_isUndefined(p_h) (genericTable_isUndefined ((genericTable) (p_h)))
26 extern /*@only@*/ valueTable valueTable_create(int p_size);
27 # define valueTable_create(p_s) ((valueTable) genericTable_create (p_s))
29 extern void valueTable_insert (valueTable p_h,
30 /*@only@*/ cstring p_key,
31 /*@only@*/ stateValue p_value);
33 /*@access stateValue@*/
34 extern /*@null@*/ /*@dependent@*/ /*@exposed@*/ stateValue
35 valueTable_lookup (valueTable p_h, cstring p_key) /*@*/ ;
36 # define valueTable_lookup(p_h,p_key) \
37 ((stateValue) genericTable_lookup ((genericTable) (p_h), p_key))
38 /*@noaccess stateValue@*/
40 extern bool valueTable_contains (valueTable p_h, cstring p_key) /*@*/ ;
41 # define valueTable_contains(p_h,p_key) \
42 (stateValue_isDefined (valueTable_lookup (p_h, p_key)))
44 extern /*@unused@*/ /*@only@*/ cstring valueTable_stats(valueTable p_h);
45 # define valueTable_stats(p_h) genericTable_stats ((genericTable) (p_h))
47 extern void valueTable_free (/*@only@*/ valueTable p_h);
48 # define valueTable_free(p_h) (genericTable_free ((genericTable) (p_h)))
50 extern /*@only@*/ cstring valueTable_unparse (valueTable p_h) /*@*/ ;
52 extern void valueTable_update (valueTable p_h, cstring p_key, /*@owned@*/ stateValue p_newval) /*@modifies p_h@*/ ;
54 extern /*@only@*/ valueTable valueTable_copy (valueTable p_s) ;
56 /*@iter valueTable_elements (sef valueTable p_g, yield exposed cstring m_key, yield exposed stateValue m_el)@*/
58 # define valueTable_elements(p_g, m_key, m_el) \
59 { if (valueTable_isDefined (p_g)) { int m_ind; \
60 { /*@i32@*/ for (m_ind = 0 ; m_ind < (p_g)->size; m_ind++) \
61 { ghbucket m_hb; m_hb = (p_g)->buckets[m_ind]; \
64 for (m_j = 0; m_j < (m_hb)->size; m_j++) { \
65 cstring m_key; stateValue m_el; m_key = (m_hb)->entries[m_j]->key; \
66 /*@access stateValue@*/ m_el = (stateValue) (m_hb)->entries[m_j]->val; /*@noaccess stateValue@*/
68 # define end_valueTable_elements }}}}}}
70 extern int valueTable_size (valueTable p_h) /*@*/ ;
71 # define valueTable_size(p_h) (genericTable_size(p_h))
75 # error "Multiple include"