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

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

typedef struct {
  ltoken tok;
  bool modifiesNothing;
  bool hasStoreRefList; 
  /* if hasStoreRefList is FALSE, then it's either NOTHING or ANYTHING */
  /* evs - this is a really kludgy way of doing this... */
  /*@reldef@*/ storeRefNodeList list;
} *modifyNode;

extern /*@unused@*/ /*@only@*/ cstring modifyNode_unparse (/*@null@*/ modifyNode p_m);
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
28bf4b0b	7	typedef struct {
885824d3	8	ltoken tok;
	9	bool modifiesNothing;
	10	bool hasStoreRefList;
	11	/* if hasStoreRefList is FALSE, then it's either NOTHING or ANYTHING */
	12	/* evs - this is a really kludgy way of doing this... */
	13	/@reldef@/ storeRefNodeList list;
	14	} *modifyNode;
	15
	16	extern /@unused@/ /@only@/ cstring modifyNode_unparse (/@null@/ modifyNode p_m);
	17
	18
	19
	20
	21
	22
	23
	24
	25
	26
	27