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

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

typedef enum 
{ 
  XPK_CONST, XPK_VAR, XPK_TYPE, 
  XPK_FCN, XPK_CLAIM, XPK_ITER 
} exportKind;

typedef struct {
  exportKind kind;
  union {
    constDeclarationNode constdeclaration;
    varDeclarationNode vardeclaration;
    typeNode type;
    fcnNode fcn;
    claimNode claim;
    iterNode iter;
  } content;
} *exportNode;

extern /*@unused@*/ /*@only@*/ cstring exportNode_unparse (exportNode 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
	7	typedef enum
	8	{
	9	XPK_CONST, XPK_VAR, XPK_TYPE,
	10	XPK_FCN, XPK_CLAIM, XPK_ITER
	11	} exportKind;
	12
28bf4b0b	13	typedef struct {
885824d3	14	exportKind kind;
	15	union {
	16	constDeclarationNode constdeclaration;
	17	varDeclarationNode vardeclaration;
	18	typeNode type;
	19	fcnNode fcn;
	20	claimNode claim;
	21	iterNode iter;
	22	} content;
	23	} *exportNode;
	24
	25	extern /@unused@/ /@only@/ cstring exportNode_unparse (exportNode p_n);
	26