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

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

typedef struct {
  ltoken name;
  paramNodeList params;
  /*@null@*/ globalList globals;
  /*@null@*/ letDeclNodeList lets;
  /*@null@*/ lclPredicateNode require;
  /*@null@*/ programNode body;
  /*@null@*/ lclPredicateNode ensures;
} *claimNode;

extern /*@unused@*/ /*@only@*/ cstring claimNode_unparse (claimNode p_c);
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	typedef struct {
885824d3	8	ltoken name;
	9	paramNodeList params;
	10	/@null@/ globalList globals;
	11	/@null@/ letDeclNodeList lets;
	12	/@null@/ lclPredicateNode require;
	13	/@null@/ programNode body;
	14	/@null@/ lclPredicateNode ensures;
	15	} *claimNode;
	16
	17	extern /@unused@/ /@only@/ cstring claimNode_unparse (claimNode p_c);