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

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

typedef struct _iterNode {
  ltoken name;
  paramNodeList params;
} *iterNode;

extern /*@unused@*/ /*@only@*/ cstring 
  iterNode_unparse (/*@null@*/ iterNode p_i) /*@*/ ;
Commit	Line	Data
885824d3	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6
	7	typedef struct _iterNode {
	8	ltoken name;
	9	paramNodeList params;
	10	} *iterNode;
	11
	12	extern /@unused@/ /@only@/ cstring
	13	iterNode_unparse (/@null@/ iterNode p_i) /@/ ;