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

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

typedef struct {
  ltoken tok;
  ltoken opttagid;
  /*@owned@*/ ltokenList enums;
  sort sort;
} *enumSpecNode;

extern /*@unused@*/ /*@only@*/ 
  cstring enumSpecNode_unparse(/*@null@*/ enumSpecNode p_n) /*@*/ ;
Commit	Line	Data
885824d3	1	/*
28bf4b0b	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
885824d3	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6
28bf4b0b	7	typedef struct {
885824d3	8	ltoken tok;
	9	ltoken opttagid;
	10	/@owned@/ ltokenList enums;
	11	sort sort;
	12	} *enumSpecNode;
	13
	14	extern /@unused@/ /@only@/
	15	cstring enumSpecNode_unparse(/@null@/ enumSpecNode p_n) /@/ ;
	16