]> andersk Git - splint.git/blame - src/Headers/lclPredicateNode.h
Fixed problem with NULL being changed.
[splint.git] / src / Headers / lclPredicateNode.h
CommitLineData
885824d3 1/*
c0de361f 2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3 3** See ../LICENSE for license information.
4**
5*/
6
7typedef enum
8{
9 LPD_PLAIN, LPD_CHECKS, LPD_REQUIRES, LPD_ENSURES,
10 LPD_INTRACLAIM, LPD_CONSTRAINT, LPD_INITIALLY
28bf4b0b 11} lclPredicateKind;
885824d3 12
28bf4b0b 13struct s_lclPredicateNode {
885824d3 14 ltoken tok; /* for debugging */
15 lclPredicateKind kind;
28bf4b0b 16 termNode predicate;
17} ;
885824d3 18
19
This page took 0.196268 seconds and 5 git commands to generate.