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

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

typedef struct {
  bool isOpId; /* TRUE means is opId */
  union {
    ltoken opid;
    /*@null@*/ opFormNode opform;
  } content;
} *nameNode;

extern void nameNode_free (/*@null@*/ /*@only@*/ nameNode p_n);
extern /*@only@*/ /*@null@*/ nameNode nameNode_copy (/*@null@*/ nameNode p_n) /*@*/ ;
extern /*@only@*/ cstring nameNode_unparse (/*@null@*/ nameNode p_n) /*@*/ ;
extern /*@only@*/ nameNode nameNode_copySafe (nameNode 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	bool isOpId; /* TRUE means is opId */
	9	union {
	10	ltoken opid;
	11	/@null@/ opFormNode opform;
	12	} content;
	13	} *nameNode;
	14
	15	extern void nameNode_free (/@null@/ /@only@/ nameNode p_n);
	16	extern /@only@/ /@null@/ nameNode nameNode_copy (/@null@/ nameNode p_n) /@/ ;
	17	extern /@only@/ cstring nameNode_unparse (/@null@/ nameNode p_n) /@/ ;
	18	extern /@only@/ nameNode nameNode_copySafe (nameNode p_n) /@/ ;