src/Headers/abstBodyNode.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 _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