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

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

extern /*@unused@*/ cstring globalList_unparse (globalList p_s);
extern void globalList_free (/*@only@*/ globalList p_s);

# define globalList_free(s) (varDeclarationNodeList_free (s))
# define globalList_unparse(s) (varDeclarationNodeList_unparse(s))
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	typedef varDeclarationNodeList globalList ;
	7
	8	extern /@unused@/ cstring globalList_unparse (globalList p_s);
	9	extern void globalList_free (/@only@/ globalList p_s);
	10
	11	# define globalList_free(s) (varDeclarationNodeList_free (s))
	12	# define globalList_unparse(s) (varDeclarationNodeList_unparse(s))