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
	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6
	7	struct s_abstBodyNode {
	8	ltoken tok; /* check for NULLTOKEN before using it */
	9	/@null@/ lclPredicateNode typeinv;
	10	fcnNodeList fcns; /* only for abstBody, not for optExposedBody */
	11	} ;
	12
	13	extern /@unused@/ /@only@/ cstring abstBodyNode_unparse (abstBodyNode p_n);
	14