src/Headers/claimNode.h

   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 _claimNode {
   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);