]>
Commit | Line | Data |
---|---|---|
1 | /* | |
2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. | |
3 | ** See ../LICENSE for license information. | |
4 | */ | |
5 | ||
6 | # ifndef VARDECLNODE_H | |
7 | # define VARDECLNODE_H | |
8 | ||
9 | typedef struct { | |
10 | bool isSpecial; | |
11 | /*@dependent@*/ /*@reldef@*/ sRef sref; | |
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 |