[splint.git] / src / Headers / varDeclarationNode.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
*/

# ifndef VARDECLNODE_H
# define VARDECLNODE_H

typedef struct {
  bool isSpecial;
  /*@dependent@*/ /*@reldef@*/ sRef sref;
  bool isGlobal; /* global or varDeclaration */
  bool isPrivate; /* static variable, within a function defn */
  qualifierKind qualifier; /* QLF_NONE, QLF_CONST, or QLF_VOLATILE */
  lclTypeSpecNode type;
  initDeclNodeList decls;
} *varDeclarationNode;

extern void varDeclarationNode_free (/*@only@*/ /*@null@*/ varDeclarationNode p_x);
extern /*@unused@*/ /*@only@*/ cstring 
  varDeclarationNode_unparse (/*@null@*/ varDeclarationNode p_x) /*@*/;

# else
# error "Multiple include"
# endif
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