]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
c0de361f | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. |
885824d3 | 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 | ||
28bf4b0b | 13 | typedef struct { |
885824d3 | 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 |