src/Headers/traitRefNodeList.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 */
   5 # ifndef traitRefNodeLIST_H
   6 # define traitRefNodeLIST_H
   7
   8 typedef /*@only@*/ traitRefNode o_traitRefNode;
   9
  10 abst_typedef struct
  11 {
  12   int nelements;
  13   int nspace;
  14   /*@reldef@*/ /*@relnull@*/ o_traitRefNode  *elements;
  15 } *traitRefNodeList ;
  16
  17 /*@iter traitRefNodeList_elements (sef traitRefNodeList x, yield exposed traitRefNode el); @*/
  18 # define traitRefNodeList_elements(x, m_el) \
  19    { int m_ind; traitRefNode *m_elements = &((x)->elements[0]); \
  20      for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
  21        { traitRefNode m_el = *(m_elements++);
  22
  23 # define end_traitRefNodeList_elements }}
  24
  25 extern /*@only@*/ traitRefNodeList traitRefNodeList_new(void);
  26 extern traitRefNodeList
  27   traitRefNodeList_add (/*@returned@*/ traitRefNodeList p_s, /*@only@*/ traitRefNode p_el);
  28
  29 extern /*@only@*/ cstring traitRefNodeList_unparse (traitRefNodeList p_s) ;
  30 extern void traitRefNodeList_free (/*@only@*/ traitRefNodeList p_s) ;
  31
  32 /*@constant int traitRefNodeListBASESIZE;@*/
  33 # define traitRefNodeListBASESIZE SMALLBASESIZE
  34
  35 # else
  36 # error "Multiple include"
  37 # endif
  38
  39
  40
  41