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

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

typedef struct _abstBodyNode {
  ltoken tok; /* check for NULLTOKEN before using it */
  /*@null@*/ struct _lclPredicateNode *typeinv;
  fcnNodeList fcns; /* only for abstBody, not for optExposedBody */
} *abstBodyNode;

extern /*@unused@*/ /*@only@*/ cstring abstBodyNode_unparse (abstBodyNode p_n);
Commit	Line	Data
885824d3	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6
	7	typedef struct _abstBodyNode {
	8	ltoken tok; /* check for NULLTOKEN before using it */
	9	/@null@/ struct _lclPredicateNode *typeinv;
	10	fcnNodeList fcns; /* only for abstBody, not for optExposedBody */
	11	} *abstBodyNode;
	12
	13	extern /@unused@/ /@only@/ cstring abstBodyNode_unparse (abstBodyNode p_n);
	14