2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
7 # ifndef FUNCTIONCLAUSELIST_H
8 # define FUNCTIONCLAUSELIST_H
10 /*@private@*/ typedef /*@only@*/ functionClause o_functionClause;
12 struct s_functionClauseList
16 /*@reldef@*/ /*@relnull@*/ o_functionClause *elements;
19 /*@constant null functionClauseList functionClauseList_undefined;@*/
20 # define functionClauseList_undefined ((functionClauseList) NULL)
22 extern /*@falsewhennull@*/ bool functionClauseList_isDefined (functionClauseList p_s) /*@*/ ;
23 # define functionClauseList_isDefined(s) ((s) != functionClauseList_undefined)
25 extern /*@nullwhentrue@*/ bool functionClauseList_isUndefined (functionClauseList p_s) /*@*/ ;
26 # define functionClauseList_isUndefined(s) ((s) == functionClauseList_undefined)
28 extern int functionClauseList_size (/*@sef@*/ functionClauseList) /*@*/ ;
29 # define functionClauseList_size(s) (functionClauseList_isDefined (s) ? (s)->nelements : 0)
31 extern /*@unused@*/ /*@falsewhennull@*/ bool functionClauseList_empty (/*@sef@*/ functionClauseList) /*@*/ ;
32 # define functionClauseList_empty(s) (functionClauseList_size(s) == 0)
34 extern cstring functionClauseList_unparseSep (functionClauseList p_s, cstring p_sep) /*@*/ ;
36 extern /*@unused@*/ /*@only@*/ functionClauseList functionClauseList_new (void) /*@*/ ;
38 extern /*@only@*/ functionClauseList functionClauseList_single (/*@keep@*/ functionClause p_el) /*@*/ ;
40 extern /*@unused@*/ functionClauseList
41 functionClauseList_add (/*@returned@*/ functionClauseList p_s, /*@keep@*/ functionClause p_el)
44 extern functionClauseList
45 functionClauseList_prepend (/*@returned@*/ functionClauseList p_s, /*@keep@*/ functionClause p_el)
48 extern /*@unused@*/ /*@only@*/ cstring functionClauseList_unparse (functionClauseList p_s) ;
49 extern void functionClauseList_free (/*@only@*/ functionClauseList p_s) ;
51 extern void functionClauseList_getImplictConstraints (functionClauseList p_s) /*@*/ ;
53 /*@constant int functionClauseListBASESIZE;@*/
54 # define functionClauseListBASESIZE MIDBASESIZE
56 /*@iter functionClauseList_elements (sef functionClauseList x, yield exposed functionClause el); @*/
57 # define functionClauseList_elements(x, m_el) \
58 { if (functionClauseList_isDefined (x)) { \
59 int m_ind; functionClause *m_elements = &((x)->elements[0]); \
60 for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
61 { functionClause m_el = *(m_elements++);
63 # define end_functionClauseList_elements }}}
66 # error "Multiple include"