]> andersk Git - splint.git/blob - src/Headers/exportNode.h
*** empty log message ***
[splint.git] / src / Headers / exportNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
3 ** See ../LICENSE for license information.
4 **
5 */
6
7 typedef enum 
8
9   XPK_CONST, XPK_VAR, XPK_TYPE, 
10   XPK_FCN, XPK_CLAIM, XPK_ITER 
11 } exportKind;
12
13 typedef struct {
14   exportKind kind;
15   union {
16     constDeclarationNode constdeclaration;
17     varDeclarationNode vardeclaration;
18     typeNode type;
19     fcnNode fcn;
20     claimNode claim;
21     iterNode iter;
22   } content;
23 } *exportNode;
24
25 extern /*@unused@*/ /*@only@*/ cstring exportNode_unparse (exportNode p_n);
26
This page took 0.035334 seconds and 5 git commands to generate.