2 ** qualList.h (from slist_templace.h)
8 abst_typedef /*@null@*/ struct
12 /*@reldef@*/ /*@relnull@*/ qual *elements;
15 extern /*@falsenull@*/ bool qualList_isDefined (qualList p_s);
16 extern /*@unused@*/ /*@truenull@*/ bool qualList_isUndefined (qualList p_s);
18 /*@constant null qualList qualList_undefined; @*/
19 # define qualList_undefined ((qualList) NULL)
21 # define qualList_isDefined(q) ((q) != qualList_undefined)
22 # define qualList_isUndefined(q) ((q) == qualList_undefined)
24 /*@iter qualList_elements (sef qualList x, yield qual el); @*/
25 # define qualList_elements(x, m_el) \
26 { if (qualList_isDefined(x)) { \
27 int m_ind; qual *m_elements = &((x)->elements[0]); \
28 for (m_ind = 0; m_ind < (x)->nelements; m_ind++) \
29 { qual m_el = *(m_elements++);
31 # define end_qualList_elements }}}
33 extern int qualList_size (/*@sef@*/ qualList p_s);
34 # define qualList_size(s) (qualList_isDefined(s) ? (s)->nelements : 0)
36 extern bool qualList_isEmpty (/*@sef@*/ qualList p_s);
37 # define qualList_isEmpty(s) (qualList_size(s) == 0)
39 extern qualList qualList_new (void) /*@*/ ;
40 extern qualList qualList_add (/*@returned@*/ qualList p_s, qual p_el)
43 extern /*@only@*/ cstring qualList_unparse (qualList p_s) /*@*/ ;
44 extern void qualList_free (/*@only@*/ qualList p_s) ;
45 extern qualList qualList_appendList (/*@returned@*/ qualList p_s, qualList p_t);
48 extern qualList qualList_copy (qualList p_s);
49 extern /*@only@*/ cstring qualList_toCComments (qualList p_s);
52 extern void qualList_clear (qualList p_q);
54 /*@constant int qualListBASESIZE;@*/
55 # define qualListBASESIZE 8
57 extern bool qualList_hasAliasQualifier (qualList p_s);
58 extern bool qualList_hasExposureQualifier (qualList p_s);
60 /* start modifications */
61 extern bool qualList_hasNullTerminatedQualifier(qualList p_s);
63 extern bool qualList_hasBufQualifiers(qualList p_s);
65 # define qualList_hasBufQualifiers(p_s) \
66 (qualList_hasNullTerminatedQualifier(p_s))
68 /* end modification/s */
71 # error "Multiple include"