/*
Copyright (c) 1993 Xerox Corporation.  All rights reserved.
*/
/*
$Id$

$Date$
 *
 * PCR assertions
 */
/* Chauser, October 28, 1993 3:29 pm PDT */

#ifndef __PCR_assert_h
#define __PCR_assert_h 1

extern void
PCR_assert(int exp);

extern void
PCR_AssertFailed(char *file, int line);

#if defined(NDEBUG)
#   define PCR_assert(exp) \
	((void)(0))
#else
#   define PCR_assert(exp) \
	{if( !(exp) ) PCR_AssertFailed(__FILE__, __LINE__);}
#endif

#ifndef PCR_NO_RENAME

#   undef assert
#   define assert	PCR_assert

#endif /* !PCR_NO_RENAME */

#endif /* !__PCR_assert_h */
/*
$Log$
*/