src/Headers/lclPredicateNode.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 enum
   8 {
   9   LPD_PLAIN, LPD_CHECKS, LPD_REQUIRES, LPD_ENSURES,
  10   LPD_INTRACLAIM, LPD_CONSTRAINT, LPD_INITIALLY
  11   } lclPredicateKind;
  12
  13 typedef struct _lclPredicateNode {
  14   ltoken tok; /* for debugging */
  15   lclPredicateKind kind;
  16   struct _termNode *predicate;
  17 } *lclPredicateNode;
  18
  19