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

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

typedef struct {
  bool isTypeName;
  /*@null@*/ typeNamePack typename;
  /*@null@*/ opFormNode opform;  
} *typeNameNode;

extern void typeNameNode_free (/*@only@*/ /*@null@*/ typeNameNode p_n);
extern /*@only@*/ cstring typeNameNode_unparse (/*@null@*/ typeNameNode 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
28bf4b0b	6	typedef struct {
885824d3	7	bool isTypeName;
885824d3	8	/@null@/ typeNamePack typename;
28bf4b0b	9	/@null@/ opFormNode opform;
885824d3	10	} *typeNameNode;
	11
	12	extern void typeNameNode_free (/@only@/ /@null@/ typeNameNode p_n);
	13	extern /@only@/ cstring typeNameNode_unparse (/@null@/ typeNameNode p_n);