src/Headers/enumNameList.h

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