2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
5 # ifndef traitRefNodeLIST_H
6 # define traitRefNodeLIST_H
8 typedef /*@only@*/ traitRefNode o_traitRefNode;
14 /*@reldef@*/ /*@relnull@*/ o_traitRefNode *elements;
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++);
23 # define end_traitRefNodeList_elements }}
25 extern /*@only@*/ traitRefNodeList traitRefNodeList_new(void);
26 extern traitRefNodeList
27 traitRefNodeList_add (/*@returned@*/ traitRefNodeList p_s, /*@only@*/ traitRefNode p_el);
29 extern /*@only@*/ cstring traitRefNodeList_unparse (traitRefNodeList p_s) ;
30 extern void traitRefNodeList_free (/*@only@*/ traitRefNodeList p_s) ;
32 /*@constant int traitRefNodeListBASESIZE;@*/
33 # define traitRefNodeListBASESIZE SMALLBASESIZE
36 # error "Multiple include"