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

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

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

extern /*@unused@*/ /*@only@*/ cstring abstBodyNode_unparse (abstBodyNode 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	struct s_abstBodyNode {
885824d3	8	ltoken tok; /* check for NULLTOKEN before using it */
28bf4b0b	9	/@null@/ lclPredicateNode typeinv;
885824d3	10	fcnNodeList fcns; /* only for abstBody, not for optExposedBody */
28bf4b0b	11	} ;
885824d3	12
	13	extern /@unused@/ /@only@/ cstring abstBodyNode_unparse (abstBodyNode p_n);
	14