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

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

typedef struct {
  ltoken tok;
  bool isMutable; /* TRUE means it is mutable */
  bool isRefCounted;
  ltoken name;
  sort sort;
  abstBodyNode body;
} *abstractNode;

extern /*@unused@*/ /*@only@*/ cstring abstractNode_unparse(abstractNode 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	bool isMutable; /* TRUE means it is mutable */
	10	bool isRefCounted;
	11	ltoken name;
	12	sort sort;
	13	abstBodyNode body;
	14	} *abstractNode;
	15
	16	extern /@unused@/ /@only@/ cstring abstractNode_unparse(abstractNode p_n);