src/Headers/enumNameList.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 # ifndef enumNameLIST_H
   7 # define enumNameLIST_H
   8
   9 typedef cstring enumName ;
  10
  11 extern /*@only@*/ enumName enumName_create (/*@only@*/ cstring p_s) /*@*/ ;
  12 # define enumName_create(s)  (s)
  13
  14 typedef /*@only@*/ enumName o_enumName;
  15
  16 abst_typedef struct
  17 {
  18   int nelements;
  19   int nspace;
  20   /*@reldef@*/ /*@relnull@*/ o_enumName  *elements;
  21 } *enumNameList ;
  22
  23 /*@iter enumNameList_elements (sef enumNameList x, yield exposed enumName el); @*/
  24 # define enumNameList_elements(x, m_el) \
  25    { int m_ind; enumName *m_elements = &((x)->elements[0]); \
  26      for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
  27        { enumName m_el = *(m_elements++);
  28
  29 # define end_enumNameList_elements }}
  30
  31 extern int enumNameList_size (enumNameList);
  32
  33 # define enumNameList_size(s) ((s)->nelements)
  34
  35 extern /*@only@*/ enumNameList enumNameList_new(void);
  36 extern bool enumNameList_member (enumNameList p_s, cstring p_m);
  37 extern enumNameList enumNameList_push (/*@returned@*/ enumNameList p_s, /*@only@*/ enumName p_el);
  38 extern void enumNameList_addh (enumNameList p_s, /*@keep@*/ enumName p_el)
  39      /*@modifies p_s@*/;
  40
  41 extern /*@only@*/ cstring enumNameList_unparse (enumNameList p_s) /*@*/ ;
  42 extern void enumNameList_free (/*@only@*/ enumNameList p_s) ;
  43
  44 extern bool enumNameList_match (enumNameList p_e1, enumNameList p_e2) /*@*/ ;
  45 extern /*@only@*/ enumNameList enumNameList_single (/*@keep@*/ enumName p_t) /*@*/ ;
  46 extern /*@only@*/ enumNameList
  47   enumNameList_subtract (enumNameList p_source, enumNameList p_del) /*@*/ ;
  48 extern /*@only@*/ enumNameList enumNameList_copy (enumNameList p_s) /*@*/ ;
  49 extern /*@only@*/ enumNameList enumNameList_undump(char **p_s);
  50 extern /*@only@*/ cstring enumNameList_dump (enumNameList p_s);
  51 extern /*@only@*/ cstring enumNameList_unparseBrief (enumNameList p_s);
  52
  53 /*@constant int enumNameListBASESIZE;@*/
  54 # define enumNameListBASESIZE SMALLBASESIZE
  55
  56 # else
  57 # error "Multiple include"
  58 # endif
  59
  60
  61
  62