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

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
** See ../LICENSE for license information.
**
*/
typedef struct _signNode {
  ltoken tok;
  sortList domain; 
  sort range;
  unsigned int key;
} *signNode;

extern /*@only@*/ cstring signNode_unparse (signNode p_sn) /*@*/ ;
extern void signNode_free (/*@only@*/ signNode p_sn);
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	typedef struct _signNode {
	7	ltoken tok;
	8	sortList domain;
	9	sort range;
	10	unsigned int key;
	11	} *signNode;
	12
	13	extern /@only@/ cstring signNode_unparse (signNode p_sn) /@/ ;
	14	extern void signNode_free (/@only@/ signNode p_sn);