/*
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$
*/