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

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

typedef struct {
  ltokenList traitid; /* a list of traitId ltoken's */
  /*@null@*/ renamingNode rename; /* a list of renamings */
} *traitRefNode;

extern void traitRefNode_free (/*@only@*/ /*@null@*/ traitRefNode 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
28bf4b0b	6	typedef struct {
885824d3	7	ltokenList traitid; /* a list of traitId ltoken's */
	8	/@null@/ renamingNode rename; /* a list of renamings */
	9	} *traitRefNode;
	10
	11	extern void traitRefNode_free (/@only@/ /@null@/ traitRefNode p_x);