2 ** qualList.h (from slist_templace.h)
8 abst_typedef /*@null@*/ struct
12 /*@reldef@*/ /*@relnull@*/ qual *elements;
15 extern /*@falsewhennull@*/ bool qualList_isDefined (qualList p_s);
16 extern /*@unused@*/ /*@nullwhentrue@*/ 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) /*@*/ ;
41 extern qualList qualList_single (qual p_el) /*@*/ ;
43 extern qualList qualList_add (/*@returned@*/ qualList p_s, qual p_el)
46 extern /*@only@*/ cstring qualList_unparse (qualList p_s) /*@*/ ;
47 extern void qualList_free (/*@only@*/ qualList p_s) ;
48 extern qualList qualList_appendList (/*@returned@*/ qualList p_s, qualList p_t);
50 extern qualList qualList_copy (qualList p_s);
51 extern /*@only@*/ cstring qualList_toCComments (qualList p_s);
53 extern void qualList_clear (qualList p_q);
55 /*@constant int qualListBASESIZE;@*/
56 # define qualListBASESIZE 8
58 extern bool qualList_hasAliasQualifier (qualList p_s);
59 extern bool qualList_hasExposureQualifier (qualList p_s);
61 /* start modifications */
62 extern bool qualList_hasNullTerminatedQualifier(qualList p_s);
64 extern bool qualList_hasBufQualifiers(qualList p_s);
66 # define qualList_hasBufQualifiers(p_s) \
67 (qualList_hasNullTerminatedQualifier(p_s))
69 /* end modification/s */
72 # error "Multiple include"