]> andersk Git - splint.git/blob - src/Headers/varDeclarationNode.h
Updated copyrights
[splint.git] / src / Headers / varDeclarationNode.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
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
This page took 0.056349 seconds and 5 git commands to generate.