src/Headers/qualList.h

   1 /*
   2 ** qualList.h (from slist_templace.h)
   3 */
   4
   5 # ifndef QUALLIST_H
   6 # define QUALLIST_H
   7
   8 abst_typedef /*@null@*/ struct
   9 {
  10   int nelements;
  11   int free;
  12   /*@reldef@*/ /*@relnull@*/ qual *elements;
  13 } *qualList ;
  14
  15 extern /*@falsewhennull@*/ bool qualList_isDefined (qualList p_s);
  16 extern /*@unused@*/ /*@nullwhentrue@*/ bool qualList_isUndefined (qualList p_s);
  17
  18 /*@constant null qualList qualList_undefined; @*/
  19 # define qualList_undefined ((qualList) NULL)
  20
  21 # define qualList_isDefined(q)   ((q) != qualList_undefined)
  22 # define qualList_isUndefined(q) ((q) == qualList_undefined)
  23
  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++);
  30
  31 # define end_qualList_elements }}}
  32
  33 extern int qualList_size (/*@sef@*/ qualList p_s);
  34 # define qualList_size(s) (qualList_isDefined(s) ? (s)->nelements : 0)
  35
  36 extern bool qualList_isEmpty (/*@sef@*/ qualList p_s);
  37 # define qualList_isEmpty(s) (qualList_size(s) == 0)
  38
  39 extern qualList qualList_new (void) /*@*/ ;
  40
  41 extern qualList qualList_single (qual p_el) /*@*/ ;
  42
  43 extern qualList qualList_add (/*@returned@*/ qualList p_s, qual p_el)
  44    /*@modifies p_s@*/;
  45
  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);
  49
  50 # ifndef NOLCL
  51 extern qualList qualList_copy (qualList p_s);
  52 extern /*@only@*/ cstring qualList_toCComments (qualList p_s);
  53 # endif
  54
  55 extern void qualList_clear (qualList p_q);
  56
  57 /*@constant int qualListBASESIZE;@*/
  58 # define qualListBASESIZE 8
  59
  60 extern bool qualList_hasAliasQualifier (qualList p_s);
  61 extern bool qualList_hasExposureQualifier (qualList p_s);
  62
  63 /* start modifications */
  64 extern bool qualList_hasNullTerminatedQualifier(qualList p_s);
  65
  66 extern bool qualList_hasBufQualifiers(qualList p_s);
  67
  68 # define qualList_hasBufQualifiers(p_s) \
  69   (qualList_hasNullTerminatedQualifier(p_s))
  70
  71 /* end modification/s */
  72
  73 # else
  74 # error "Multiple include"
  75 # endif
  76
  77
  78
  79