home *** CD-ROM | disk | FTP | other *** search
- /************************************************************************
- * *
- * Copyright (c) 1984, Fred Fish *
- * All Rights Reserved *
- * *
- * This software and/or documentation is released for public *
- * distribution for personal, non-commercial use only. *
- * Limited rights to use, modify, and redistribute are hereby *
- * granted for non-commercial purposes, provided that all *
- * copyright notices remain intact and all changes are clearly *
- * documented. The author makes no warranty of any kind with *
- * respect to this product and explicitly disclaims any implied *
- * warranties of merchantability or fitness for any particular *
- * purpose. *
- * *
- ************************************************************************
- */
-
-
- /*
- * FILE
- *
- * llib-ldbug lint library source for debugging package
- *
- * SCCS ID
- *
- * @(#)llib-ldbug 1.7 10/29/86
- *
- * DESCRIPTION
- *
- * Function definitions for use in building lint library.
- * Note that these must stay in syncronization with actual
- * declarations in "dbug.c".
- *
- */
-
-
- /*LINTLIBRARY*/
-
- #include <stdio.h>
- #define VOID void
- #define FALSE 0
-
- int _db_on_ = FALSE;
- FILE *_db_fp_ = stderr;
- char *_db_process_ = "dbug";
-
- VOID _db_push_ (control)
- char *control;
- {
- }
-
- VOID _db_pop_ ()
- {
- }
-
- VOID _db_enter_ (_func_, _file_, _line_, _sfunc_, _sfile_, _slevel_)
- char *_func_;
- char *_file_;
- int _line_;
- char **_sfunc_;
- char **_sfile_;
- int *_slevel_;
- {
- }
-
- VOID _db_return_ (_line_, _sfunc_, _sfile_, _slevel_)
- int _line_;
- char **_sfunc_;
- char **_sfile_;
- int *_slevel_;
- {
- }
-
- VOID _db_pargs_ (_line_, keyword)
- int _line_;
- char *keyword;
- {
- }
-
- /*VARARGS1*/
- VOID _db_doprnt_ (format, a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)
- char *format;
- int a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11;
- {
- }
-
- /* WARNING -- the following function is obsolete and may not be supported */
- /* in future releases... */
-
- /*VARARGS3*/
- VOID _db_printf_ (_line_, keyword, format,
- a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)
- int _line_;
- char *keyword, *format;
- int a0, a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11;
- {
- }
-
- int _db_keyword_ (keyword)
- char *keyword;
- {
- return (0);
- }
-
- VOID _db_longjmp_ ()
- {
- }
-
- VOID _db_setjmp_ ()
- {
- }
-