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

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

typedef struct {
  typeNameNodeList namelist;  /* the positional arguments */
  replaceNodeList replacelist; /* the rest of replace renamings */  
} *nameAndReplaceNode;

typedef struct {
  bool is_replace; /* TRUE means replace, false means name */ 
  union {
    replaceNodeList replace;
    nameAndReplaceNode name;
  } content;
} *renamingNode;

extern /*@only@*/ cstring renamingNode_unparse (/*@null@*/ renamingNode 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	*/
	6
28bf4b0b	7	typedef struct {
885824d3	8	typeNameNodeList namelist; /* the positional arguments */
	9	replaceNodeList replacelist; /* the rest of replace renamings */
	10	} *nameAndReplaceNode;
	11
28bf4b0b	12	typedef struct {
885824d3	13	bool is_replace; /* TRUE means replace, false means name */
	14	union {
	15	replaceNodeList replace;
	16	nameAndReplaceNode name;
	17	} content;
	18	} *renamingNode;
	19
	20	extern /@only@/ cstring renamingNode_unparse (/@null@/ renamingNode p_x);