src/Headers/enumNameSList.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 # ifndef enumNameSLIST_H
   7 # define enumNameSLIST_H
   8
   9 abst_typedef enumNameList enumNameSList;
  10
  11 extern int enumNameSList_size (enumNameSList) /*@*/ ;
  12 # define enumNameSList_size(s) enumNameList_size(s)
  13
  14 extern /*@only@*/ enumNameSList enumNameSList_subtract (enumNameList, enumNameSList);
  15 # define enumNameSList_subtract(s,t) enumNameList_subtract(s,t)
  16
  17 extern /*@only@*/ enumNameSList enumNameSList_new(void);
  18 # define enumNameSList_new() enumNameList_new()
  19
  20 extern bool enumNameSList_member (enumNameSList p_s, cstring p_m);
  21 # define enumNameSList_member(s,m) enumNameList_member(s,m)
  22
  23 extern void enumNameSList_addh (enumNameSList p_s, /*@dependent@*/ enumName p_el) ;
  24 /*@-dependenttrans@*/
  25 # define enumNameSList_addh(s,el) enumNameList_addh(s, el)
  26 /*@=dependenttrans@*/
  27
  28 extern void enumNameSList_free (/*@only@*/ enumNameSList p_s);
  29
  30 extern /*@only@*/ cstring enumNameSList_unparse (enumNameSList p_s) /*@*/ ;
  31 # define enumNameSList_unparse(s) enumNameList_unparse(s)
  32
  33 # else
  34 # error "Multiple include"
  35 # endif
  36
  37
  38
  39