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

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

typedef struct {
  ltoken tok;
  typeNameNode typename; 
  bool isCType; /* TRUE means it is a CType */
  union {
    struct { 
      /*@only@*/ /*@null@*/ nameNode name; 
      /*@only@*/ /*@null@*/ sigNode signature;
    } renamesortname;
    ltoken ctype; 
  } content;
} *replaceNode; 

extern void replaceNode_free (/*@only@*/ /*@null@*/ replaceNode p_x);
extern /*@only@*/ cstring replaceNode_unparse (/*@null@*/ replaceNode p_x);
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	typeNameNode typename;
	10	bool isCType; /* TRUE means it is a CType */
	11	union {
	12	struct {
28bf4b0b	13	/@only@/ /@null@/ nameNode name;
28bf4b0b	14	/@only@/ /@null@/ sigNode signature;
885824d3	15	} renamesortname;
	16	ltoken ctype;
	17	} content;
	18	} *replaceNode;
	19
	20	extern void replaceNode_free (/@only@/ /@null@/ replaceNode p_x);
	21	extern /@only@/ cstring replaceNode_unparse (/@null@/ replaceNode p_x);
	22