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

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

extern termNode checkSort (/*@returned@*/ termNode p_t);
extern /*@null@*/ termNode computePossibleSorts (/*@returned@*/ /*@null@*/ termNode p_t);

extern void checkLclPredicate (ltoken p_t, lclPredicateNode p_n);
Commit	Line	Data
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
	7	extern termNode checkSort (/@returned@/ termNode p_t);
	8	extern /@null@/ termNode computePossibleSorts (/@returned@/ /@null@/ termNode p_t);
	9
	10	extern void checkLclPredicate (ltoken p_t, lclPredicateNode p_n);