src/Headers/sortList.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6
   7 # ifndef SORTLIST_H
   8 # define SORTLIST_H
   9
  10 abst_typedef struct
  11 {
  12   int nelements;
  13   int nspace;
  14   int current;
  15   /*@reldef@*/ /*@relnull@*/ sort *elements;
  16 } *sortList ;
  17
  18 extern /*@only@*/ sortList sortList_new (void);
  19 extern void sortList_addh (sortList p_s, sort p_el) ;
  20
  21 extern void sortList_reset (sortList p_s) ;
  22 extern void sortList_advance (sortList p_s) ; /* was "list_pointToNext" */
  23
  24 extern /*@only@*/ cstring sortList_unparse (sortList p_s) ;
  25 extern void sortList_free (/*@only@*/ sortList p_s) ;
  26
  27 extern sort sortList_current (sortList p_s) ;
  28
  29 /*@constant int sortListBASESIZE;@*/
  30 # define sortListBASESIZE SMALLBASESIZE
  31 # else
  32 # error "Multiple include"
  33 # endif
  34
  35
  36
  37