/************************************************************************
 *									*
 *			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_ ()
{
}
