]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
28bf4b0b | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. |
885824d3 | 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 |