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

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

typedef struct {
  ltoken tok;
  ltokenList domain; 
  ltoken range;
  unsigned long int key;
} *sigNode;

extern /*@only@*/ cstring sigNode_unparse (/*@null@*/ sigNode p_n) /*@*/ ;
extern void sigNode_free (/*@only@*/ /*@null@*/ sigNode p_x);
extern /*@only@*/ sigNode sigNode_copy (sigNode p_s) /*@*/ ;
extern void sigNode_markOwned (/*@owned@*/ sigNode 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	*/
	6
28bf4b0b	7	typedef struct {
885824d3	8	ltoken tok;
	9	ltokenList domain;
	10	ltoken range;
e5081f8c	11	unsigned long int key;
885824d3	12	} *sigNode;
	13
	14	extern /@only@/ cstring sigNode_unparse (/@null@/ sigNode p_n) /@/ ;
	15	extern void sigNode_free (/@only@/ /@null@/ sigNode p_x);
	16	extern /@only@/ sigNode sigNode_copy (sigNode p_s) /@/ ;
	17	extern void sigNode_markOwned (/@owned@/ sigNode p_n);
	18