src/Headers/initDeclNode.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** 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
	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6
	7	typedef struct {
	8	declaratorNode declarator;
	9	/@null@/ termNode value;
	10	} *initDeclNode;
	11
	12	extern bool initDeclNode_isRedeclaration (initDeclNode p_d);
	13
	14	extern void initDeclNode_free (/@only@/ /@null@/ initDeclNode p_x);