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

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

typedef struct {
  stDeclNodeList structdecls;
  declaratorNode declarator; 
} *taggedUnionNode;

extern /*@unused@*/ /*@only@*/ cstring 
  taggedUnionNode_unparse (taggedUnionNode p_n) /*@*/ ;
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
28bf4b0b	6	typedef struct {
885824d3	7	stDeclNodeList structdecls;
	8	declaratorNode declarator;
	9	} *taggedUnionNode;
	10
	11	extern /@unused@/ /@only@/ cstring
	12	taggedUnionNode_unparse (taggedUnionNode p_n) /@/ ;