/***********************************************************************
     "prg_error.o": PRoGramming ERROR detection functions.
***********************************************************************/

/***********************************
  (C) Copyright 1992-1993; dit/upm
   Distributed under the conditions stated in the
   EPS General Public License (see file LICENSE)
 ***********************************
 $Log: prg_error.c,v $
 * Revision 1.4  1993/01/12  18:18:37  eps
 * portability issues
 *
 * Revision 1.3  1993/01/12  16:37:03  eps
 * portability issues
 *
 * Revision 1.2  1992/01/14  15:45:37  eps
 * distribution issues
 *
 * Revision 1.1  91/07/11  12:50:54  eps
 * Initial revision
 * 
 ***********************************/

#ifndef lint
static char rcsid[]= "$Id: prg_error.c,v 1.4 1993/01/12 18:18:37 eps Exp $";
#endif

/* LINTLIBRARY */

#define prg_error_IMP

#include <stdio.h>
#include "bsc_dcls.hh"
#include "lnt_pass.hh"
#include "err_handl.hh"
#include "prg_error.hh"
#include "bsc_input.hh"


/* writes a condition failure message and aborts */

PUBLIC void
_cond_fail (file, line)
  char *file;
  int line;
{
  berror("abnormal condition: file \"%s\", line %d, input line %d",
	 file, line, get_lno());
}

/* writes a checking failure message and aborts */

PUBLIC void
_check_fail (file, line)
  char *file;
  int line;
{
  berror("checking failure: file \"%s\", line %d, input line %d",
	 file, line, get_lno());
}
