src/Headers/mtTransferClauseList.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6
   7 # ifndef MTTRANSFERCLAUSELIST_H
   8 # define MTTRANSFERCLAUSELIST_H
   9
  10 /*:private:*/ typedef /*@only@*/ mtTransferClause o_mtTransferClause;
  11
  12 struct s_mtTransferClauseList
  13 {
  14   int      nelements;
  15   int      nspace;
  16   /*@reldef@*/ /*@relnull@*/ o_mtTransferClause *elements;
  17 } ;
  18
  19 /*@constant null mtTransferClauseList mtTransferClauseList_undefined;@*/
  20 # define mtTransferClauseList_undefined ((mtTransferClauseList) NULL)
  21
  22 extern /*@falsewhennull@*/ bool mtTransferClauseList_isDefined (mtTransferClauseList p_s) /*@*/ ;
  23 # define mtTransferClauseList_isDefined(s)   ((s) != mtTransferClauseList_undefined)
  24
  25 extern int mtTransferClauseList_size (/*@sef@*/ mtTransferClauseList) /*@*/ ;
  26 # define mtTransferClauseList_size(s) (mtTransferClauseList_isDefined (s) ? (s)->nelements : 0)
  27
  28 extern /*@unused@*/ /*@falsewhennull@*/ bool mtTransferClauseList_empty (/*@sef@*/ mtTransferClauseList) /*@*/ ;
  29 # define mtTransferClauseList_empty(s) (mtTransferClauseList_size(s) == 0)
  30
  31 extern cstring mtTransferClauseList_unparseSep (mtTransferClauseList p_s, cstring p_sep) /*@*/ ;
  32
  33 extern /*@unused@*/ /*@only@*/ mtTransferClauseList mtTransferClauseList_new (void) /*@*/ ;
  34
  35 extern /*@only@*/ mtTransferClauseList mtTransferClauseList_single (/*@only@*/ mtTransferClause p_el) /*@*/ ;
  36
  37 extern mtTransferClauseList
  38   mtTransferClauseList_add (/*@only@*/ mtTransferClauseList p_s, /*@only@*/ mtTransferClause p_el)
  39   /*@modifies p_s@*/ ;
  40
  41 extern /*@only@*/ mtTransferClauseList
  42   mtTransferClauseList_prepend (/*@only@*/ mtTransferClauseList p_s, /*@only@*/ mtTransferClause p_el)
  43   /*@modifies p_s@*/ ;
  44
  45 extern /*@unused@*/ /*@only@*/ cstring mtTransferClauseList_unparse (mtTransferClauseList p_s) ;
  46 extern void mtTransferClauseList_free (/*@only@*/ mtTransferClauseList p_s) ;
  47
  48 /*@constant int mtTransferClauseListBASESIZE;@*/
  49 # define mtTransferClauseListBASESIZE MIDBASESIZE
  50
  51 /*@iter mtTransferClauseList_elements (sef mtTransferClauseList x, yield exposed mtTransferClause el); @*/
  52 # define mtTransferClauseList_elements(x, m_el) \
  53    { if (mtTransferClauseList_isDefined (x)) { \
  54        int m_ind; mtTransferClause *m_elements = &((x)->elements[0]); \
  55          for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
  56            { mtTransferClause m_el = *(m_elements++);
  57
  58 # define end_mtTransferClauseList_elements }}}
  59
  60 # else
  61 # error "Multiple include"
  62 # endif
  63
  64
  65
  66