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

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

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