2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
6 # ifndef enumNameSLIST_H
7 # define enumNameSLIST_H
9 abst_typedef enumNameList enumNameSList;
11 extern int enumNameSList_size (enumNameSList) /*@*/ ;
12 # define enumNameSList_size(s) enumNameList_size(s)
14 extern /*@only@*/ enumNameSList enumNameSList_subtract (enumNameList, enumNameSList);
15 # define enumNameSList_subtract(s,t) enumNameList_subtract(s,t)
17 extern /*@only@*/ enumNameSList enumNameSList_new(void);
18 # define enumNameSList_new() enumNameList_new()
20 extern bool enumNameSList_member (enumNameSList p_s, cstring p_m);
21 # define enumNameSList_member(s,m) enumNameList_member(s,m)
23 extern void enumNameSList_addh (enumNameSList p_s, /*@dependent@*/ enumName p_el) ;
25 # define enumNameSList_addh(s,el) enumNameList_addh(s, el)
28 extern void enumNameSList_free (/*@only@*/ enumNameSList p_s);
30 extern /*@only@*/ cstring enumNameSList_unparse (enumNameSList p_s) /*@*/ ;
31 # define enumNameSList_unparse(s) enumNameList_unparse(s)
34 # error "Multiple include"