2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
7 # ifndef MTMERGECLAUSELIST_H
8 # define MTMERGECLAUSELIST_H
10 /*@private@*/ typedef /*@only@*/ mtMergeClause o_mtMergeClause;
12 struct s_mtMergeClauseList
16 /*@reldef@*/ /*@relnull@*/ o_mtMergeClause *elements;
19 /*@constant null mtMergeClauseList mtMergeClauseList_undefined;@*/
20 # define mtMergeClauseList_undefined ((mtMergeClauseList) NULL)
22 extern /*@falsenull@*/ bool mtMergeClauseList_isDefined (mtMergeClauseList p_s) /*@*/ ;
23 # define mtMergeClauseList_isDefined(s) ((s) != mtMergeClauseList_undefined)
25 extern int mtMergeClauseList_size (/*@sef@*/ mtMergeClauseList) /*@*/ ;
26 # define mtMergeClauseList_size(s) (mtMergeClauseList_isDefined (s) ? (s)->nelements : 0)
28 extern /*@unused@*/ /*@falsenull@*/ bool mtMergeClauseList_empty (/*@sef@*/ mtMergeClauseList) /*@*/ ;
29 # define mtMergeClauseList_empty(s) (mtMergeClauseList_size(s) == 0)
31 extern cstring mtMergeClauseList_unparseSep (mtMergeClauseList p_s, cstring p_sep) /*@*/ ;
33 extern /*@unused@*/ /*@only@*/ mtMergeClauseList mtMergeClauseList_new (void) /*@*/ ;
35 extern /*@only@*/ mtMergeClauseList mtMergeClauseList_single (/*@keep@*/ mtMergeClause p_el) /*@*/ ;
37 extern /*@unused@*/ mtMergeClauseList
38 mtMergeClauseList_add (/*@returned@*/ mtMergeClauseList p_s, /*@keep@*/ mtMergeClause p_el)
41 extern mtMergeClauseList
42 mtMergeClauseList_prepend (/*@returned@*/ mtMergeClauseList p_s, /*@keep@*/ mtMergeClause p_el)
45 extern /*@unused@*/ /*@only@*/ cstring mtMergeClauseList_unparse (mtMergeClauseList p_s) ;
46 extern void mtMergeClauseList_free (/*@only@*/ mtMergeClauseList p_s) ;
48 /*@constant int mtMergeClauseListBASESIZE;@*/
49 # define mtMergeClauseListBASESIZE MIDBASESIZE
51 /*@iter mtMergeClauseList_elements (sef mtMergeClauseList x, yield exposed mtMergeClause el); @*/
52 # define mtMergeClauseList_elements(x, m_el) \
53 { if (mtMergeClauseList_isDefined (x)) { \
54 int m_ind; mtMergeClause *m_elements = &((x)->elements[0]); \
55 for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
56 { mtMergeClause m_el = *(m_elements++);
58 # define end_mtMergeClauseList_elements }}}
61 # error "Multiple include"