src/Headers/sortSetList.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 */
   5 # ifndef sortSetLIST_H
   6 # define sortSetLIST_H
   7
   8 typedef /*@dependent@*/ sortSet o_sortSet;
   9
  10 abst_typedef struct
  11 {
  12   int nelements;
  13   int free;
  14   int current;
  15   /*@reldef@*/ /*@only@*/ /*@relnull@*/ o_sortSet  *elements;
  16 } *sortSetList ;
  17
  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++);
  23
  24 # define end_sortSetList_elements }}
  25
  26 extern int sortSetList_size (sortSetList);
  27
  28 # define sortSetList_size(s) ((s)->nelements)
  29
  30 extern /*@only@*/ sortSetList sortSetList_new(void);
  31 extern void sortSetList_addh (sortSetList p_s, /*@dependent@*/ /*@exposed@*/ sortSet p_el) ;
  32
  33 extern void sortSetList_reset (sortSetList p_s) ;
  34 extern void sortSetList_advance (sortSetList p_s) ; /* was "list_pointToNext" */
  35
  36 extern void sortSetList_free (/*@only@*/ sortSetList p_s) ;
  37
  38 extern /*@observer@*/ sortSet sortSetList_head (sortSetList p_s) ;
  39 extern /*@observer@*/ sortSet sortSetList_current (sortSetList p_s) ;
  40
  41 # else
  42 # error "Multiple include"
  43 # endif
  44