|
Packit Service |
8bf002 |
/* defs.h */
|
|
Packit Service |
8bf002 |
|
|
Packit Service |
8bf002 |
#include <stdio.h>
|
|
Packit Service |
8bf002 |
|
|
Packit Service |
8bf002 |
/* assert(): Enable one of these three. */
|
|
Packit Service |
8bf002 |
/* Note: This source doesn't use #elif directive to test preprocessor which
|
|
Packit Service |
8bf002 |
can't recognize the directive. */
|
|
Packit Service |
8bf002 |
#if 1 /* For the translator which can process <assert.h> properly. */
|
|
Packit Service |
8bf002 |
#include <assert.h>
|
|
Packit Service |
8bf002 |
#else
|
|
Packit Service |
8bf002 |
#if 0 /* Not to abort on error. */
|
|
Packit Service |
8bf002 |
#define assert( exp) (exp) ? (void)0 : (void) fprintf( stderr, \
|
|
Packit Service |
8bf002 |
"Assertion failed: %s, from line %d of file %s\n", \
|
|
Packit Service |
8bf002 |
# exp, __LINE__, __FILE__)
|
|
Packit Service |
8bf002 |
#else
|
|
Packit Service |
8bf002 |
#if 0 /* For the translator which can't process <assert.h> or '#'
|
|
Packit Service |
8bf002 |
operator properly. */
|
|
Packit Service |
8bf002 |
#define assert( exp) (exp) ? 0 : fputs( "Assertion failed\n", stderr)
|
|
Packit Service |
8bf002 |
#endif
|
|
Packit Service |
8bf002 |
#endif
|
|
Packit Service |
8bf002 |
#endif
|
|
Packit Service |
8bf002 |
|
|
Packit Service |
8bf002 |
#ifdef void
|
|
Packit Service |
8bf002 |
/*
|
|
Packit Service |
8bf002 |
* For the older compilers which can't handle prototype declarations.
|
|
Packit Service |
8bf002 |
* You must append these lines in stdio.h.
|
|
Packit Service |
8bf002 |
* #undef void
|
|
Packit Service |
8bf002 |
* #define void
|
|
Packit Service |
8bf002 |
*/
|
|
Packit Service |
8bf002 |
extern int strcmp();
|
|
Packit Service |
8bf002 |
extern size_t strlen();
|
|
Packit Service |
8bf002 |
extern void exit();
|
|
Packit Service |
8bf002 |
#else
|
|
Packit Service |
8bf002 |
extern int strcmp( const char *, const char *);
|
|
Packit Service |
8bf002 |
extern size_t strlen( const char *);
|
|
Packit Service |
8bf002 |
extern void exit( int);
|
|
Packit Service |
8bf002 |
#endif
|
|
Packit Service |
8bf002 |
|