src/Headers/abstBodyNode.h

   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