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

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

typedef struct {
  declaratorNode declarator;
  /*@null@*/ termNode value;
} *initDeclNode;

extern bool initDeclNode_isRedeclaration (initDeclNode p_d);

extern void initDeclNode_free (/*@only@*/ /*@null@*/ initDeclNode p_x);
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
28bf4b0b	7	typedef struct {
885824d3	8	declaratorNode declarator;
28bf4b0b	9	/@null@/ termNode value;
885824d3	10	} *initDeclNode;
	11
	12	extern bool initDeclNode_isRedeclaration (initDeclNode p_d);
	13
	14	extern void initDeclNode_free (/@only@/ /@null@/ initDeclNode p_x);