2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
8 typedef /*@dependent@*/ sortSet o_sortSet;
15 /*@reldef@*/ /*@only@*/ /*@relnull@*/ o_sortSet *elements;
18 /*@iter sortSetList_elements (sef sortSetList x, yield exposed sortSet el); @*/
19 # define sortSetList_elements(x, m_el) \
20 { int m_ind; sortSet *m_elements = &((x)->elements[0]); \
21 for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
22 { sortSet m_el = *(m_elements++);
24 # define end_sortSetList_elements }}
26 extern int sortSetList_size (sortSetList);
28 # define sortSetList_size(s) ((s)->nelements)
30 extern /*@only@*/ sortSetList sortSetList_new(void);
31 extern void sortSetList_addh (sortSetList p_s, /*@dependent@*/ /*@exposed@*/ sortSet p_el) ;
33 extern void sortSetList_reset (sortSetList p_s) ;
34 extern void sortSetList_advance (sortSetList p_s) ; /* was "list_pointToNext" */
36 extern /*@unused@*/ /*@only@*/ cstring sortSetList_unparse (sortSetList p_s) ;
37 extern void sortSetList_free (/*@only@*/ sortSetList p_s) ;
39 extern /*@observer@*/ sortSet sortSetList_head (sortSetList p_s) ;
40 extern /*@observer@*/ sortSet sortSetList_current (sortSetList p_s) ;
42 /*@constant int sortSetListBASESIZE;@*/
43 # define sortSetListBASESIZE (8)
46 # error "Multiple include"