]>
Commit | Line | Data |
---|---|---|
28bf4b0b | 1 | /* |
c0de361f | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. |
28bf4b0b | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
6 | ||
7 | # ifndef MTTRANSFERCLAUSELIST_H | |
8 | # define MTTRANSFERCLAUSELIST_H | |
9 | ||
517a2db3 | 10 | /*:private:*/ typedef /*@only@*/ mtTransferClause o_mtTransferClause; |
28bf4b0b | 11 | |
12 | struct s_mtTransferClauseList | |
13 | { | |
14 | int nelements; | |
15 | int nspace; | |
16 | /*@reldef@*/ /*@relnull@*/ o_mtTransferClause *elements; | |
17 | } ; | |
18 | ||
19 | /*@constant null mtTransferClauseList mtTransferClauseList_undefined;@*/ | |
20 | # define mtTransferClauseList_undefined ((mtTransferClauseList) NULL) | |
21 | ||
0e41eb0e | 22 | extern /*@falsewhennull@*/ bool mtTransferClauseList_isDefined (mtTransferClauseList p_s) /*@*/ ; |
28bf4b0b | 23 | # define mtTransferClauseList_isDefined(s) ((s) != mtTransferClauseList_undefined) |
24 | ||
25 | extern int mtTransferClauseList_size (/*@sef@*/ mtTransferClauseList) /*@*/ ; | |
26 | # define mtTransferClauseList_size(s) (mtTransferClauseList_isDefined (s) ? (s)->nelements : 0) | |
27 | ||
0e41eb0e | 28 | extern /*@unused@*/ /*@falsewhennull@*/ bool mtTransferClauseList_empty (/*@sef@*/ mtTransferClauseList) /*@*/ ; |
28bf4b0b | 29 | # define mtTransferClauseList_empty(s) (mtTransferClauseList_size(s) == 0) |
30 | ||
31 | extern cstring mtTransferClauseList_unparseSep (mtTransferClauseList p_s, cstring p_sep) /*@*/ ; | |
32 | ||
33 | extern /*@unused@*/ /*@only@*/ mtTransferClauseList mtTransferClauseList_new (void) /*@*/ ; | |
34 | ||
b73d1009 | 35 | extern /*@only@*/ mtTransferClauseList mtTransferClauseList_single (/*@only@*/ mtTransferClause p_el) /*@*/ ; |
28bf4b0b | 36 | |
37 | extern mtTransferClauseList | |
b73d1009 | 38 | mtTransferClauseList_add (/*@only@*/ mtTransferClauseList p_s, /*@only@*/ mtTransferClause p_el) |
28bf4b0b | 39 | /*@modifies p_s@*/ ; |
40 | ||
b73d1009 | 41 | extern /*@only@*/ mtTransferClauseList |
42 | mtTransferClauseList_prepend (/*@only@*/ mtTransferClauseList p_s, /*@only@*/ mtTransferClause p_el) | |
28bf4b0b | 43 | /*@modifies p_s@*/ ; |
44 | ||
45 | extern /*@unused@*/ /*@only@*/ cstring mtTransferClauseList_unparse (mtTransferClauseList p_s) ; | |
46 | extern void mtTransferClauseList_free (/*@only@*/ mtTransferClauseList p_s) ; | |
47 | ||
48 | /*@constant int mtTransferClauseListBASESIZE;@*/ | |
49 | # define mtTransferClauseListBASESIZE MIDBASESIZE | |
50 | ||
51 | /*@iter mtTransferClauseList_elements (sef mtTransferClauseList x, yield exposed mtTransferClause el); @*/ | |
52 | # define mtTransferClauseList_elements(x, m_el) \ | |
53 | { if (mtTransferClauseList_isDefined (x)) { \ | |
54 | int m_ind; mtTransferClause *m_elements = &((x)->elements[0]); \ | |
55 | for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \ | |
56 | { mtTransferClause m_el = *(m_elements++); | |
57 | ||
58 | # define end_mtTransferClauseList_elements }}} | |
59 | ||
60 | # else | |
61 | # error "Multiple include" | |
62 | # endif | |
63 | ||
64 | ||
65 | ||
66 |