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

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

typedef enum
{
  LPD_PLAIN, LPD_CHECKS, LPD_REQUIRES, LPD_ENSURES,
  LPD_INTRACLAIM, LPD_CONSTRAINT, LPD_INITIALLY
  } lclPredicateKind;

typedef struct _lclPredicateNode {
  ltoken tok; /* for debugging */
  lclPredicateKind kind;
  struct _termNode *predicate;
} *lclPredicateNode;
Commit	Line	Data
885824d3	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