]> andersk Git - splint.git/blob - src/Headers/importNodeList.h
*** empty log message ***
[splint.git] / src / Headers / importNodeList.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
6 # ifndef IMPORTNODELIST_H
7 # define IMPORTNODELIST_H
8
9 typedef /*@only@*/ importNode o_importNode;
10
11 abst_typedef struct
12 {
13   int nelements;
14   int nspace;
15   /*@reldef@*/ /*@relnull@*/ o_importNode *elements;
16 } *importNodeList ;
17
18 /*@iter importNodeList_elements (sef importNodeList x, yield exposed importNode el); @*/
19 # define importNodeList_elements(x, m_el) \
20    { int m_ind; importNode *m_elements = &((x)->elements[0]); \
21        for (m_ind = 0 ; m_ind < (x)->nelements; m_ind++) \
22          { importNode m_el = *(m_elements++);
23
24 # define end_importNodeList_elements }}
25
26 extern /*@only@*/ importNodeList importNodeList_new (void);
27 extern importNodeList 
28   importNodeList_add (/*@returned@*/ importNodeList p_s, /*@only@*/ importNode p_el) ;
29
30 extern /*@only@*/ cstring importNodeList_unparse (importNodeList p_s) ;
31 extern void importNodeList_free (/*@only@*/ importNodeList p_s) ;
32
33 /*@constant int importNodeListBASESIZE;@*/
34 # define importNodeListBASESIZE SMALLBASESIZE
35
36 # else
37 # error "Multiple include"
38 # endif
39
40
41
42
This page took 0.186799 seconds and 5 git commands to generate.