]>
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 | # ifndef VARDECLNODE_H | |
7 | # define VARDECLNODE_H | |
8 | ||
28bf4b0b | 9 | typedef struct { |
885824d3 | 10 | bool isSpecial; |
28bf4b0b | 11 | /*@dependent@*/ /*@reldef@*/ sRef sref; |
885824d3 | 12 | bool isGlobal; /* global or varDeclaration */ |
13 | bool isPrivate; /* static variable, within a function defn */ | |
14 | qualifierKind qualifier; /* QLF_NONE, QLF_CONST, or QLF_VOLATILE */ | |
15 | lclTypeSpecNode type; | |
16 | initDeclNodeList decls; | |
17 | } *varDeclarationNode; | |
18 | ||
19 | extern void varDeclarationNode_free (/*@only@*/ /*@null@*/ varDeclarationNode p_x); | |
20 | extern /*@unused@*/ /*@only@*/ cstring | |
21 | varDeclarationNode_unparse (/*@null@*/ varDeclarationNode p_x) /*@*/; | |
22 | ||
23 | # else | |
24 | # error "Multiple include" | |
25 | # endif | |
26 |