2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
6 # ifndef DECLARATORINVNODELIST_H
7 # define DECLARATORINVNODELIST_H
9 typedef /*@only@*/ declaratorInvNode o_declaratorInvNode;
15 /*@reldef@*/ /*@relnull@*/ o_declaratorInvNode *elements;
16 } *declaratorInvNodeList ;
18 /*@iter declaratorInvNodeList_elements (sef declaratorInvNodeList x, yield exposed declaratorInvNode el); @*/
19 # define declaratorInvNodeList_elements(x, m_el) \
20 { int m_ind; declaratorInvNode *m_elements = &((x)->elements[0]); \
21 for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
22 { declaratorInvNode m_el = *(m_elements++);
24 # define end_declaratorInvNodeList_elements }}
26 extern int declaratorInvNodeList_size (declaratorInvNodeList);
27 # define declaratorInvNodeList_size(d) ((d)->nelements)
29 extern /*@only@*/ declaratorInvNodeList declaratorInvNodeList_new(void);
31 extern declaratorInvNodeList
32 declaratorInvNodeList_add (/*@returned@*/ declaratorInvNodeList p_s,
33 /*@only@*/ declaratorInvNode p_el);
35 extern /*@only@*/ cstring declaratorInvNodeList_unparse (declaratorInvNodeList p_s) ;
36 extern void declaratorInvNodeList_free (/*@only@*/ declaratorInvNodeList p_s) ;
38 /*@constant int declaratorInvNodeListBASESIZE;@*/
39 # define declaratorInvNodeListBASESIZE SMALLBASESIZE
42 # error "Multiple include"