/* translation of file "../error.k" */
/* generated by:
 *	@(#)$Author: Kimwitu version: V4_6 (c) 1990-1996 University of Twente $
 */
#ifndef KC_FUNCTIONS_error_HEADER
#define KC_FUNCTIONS_error_HEADER
#define KIMW_FUNCTIONS_error_HEADER /* for backwards compatibility */
/* define our own macro if we have a 'standard' (ansi) C(++) compiler */
#ifndef KC_NO_STDC
# if defined(__STDC__) || defined(__cplusplus) || defined(_WIN32)
#  define KC_STDC
# endif
#endif
#include "k.h"	/* in case a user forgets */

/* included stuff */
#line 2 "../error.k"
/*
 * The Termprocessor Kimwitu
 *
 * Copyright (c) 1991 University of Twente, Dept TIOS.
 * All rights reserved.
 *
 */

#line 27 "error.h"
#line 31 "../error.k"
#include "unpk.h" /* for the definition of view */
extern boolean gp_no_fatal_problems;

#line 32 "error.h"
/* end included stuff */

problem Problem1S KC__P((char *s1)); 
problem Problem1S1we KC__P((char *s1, withexpression we)); 
problem Problem1S1ID KC__P((char *s1, ID id)); 
problem Problem1S1tID KC__P((char *s1, ID id)); 
problem Problem1S1ID1S1ID KC__P((char *s1, ID id1, char *s2, ID id2)); 
problem Problem1S1t1S1ID KC__P((char *s1, IDtype id1, char *s2, ID id2)); 
problem Problem1S1INT KC__P((char *s1, INT i1)); 
problem Problem1S1int1S KC__P((char *s1, int i1, char *s2)); 
problem Problem1S1INT1S1ID KC__P((char *s1, INT i1, char *s2, ID id2)); 
problem Problem1S1ID1S1ID1S1ID KC__P((char *s1, ID id1, char *s2, ID id2, char *s3, ID id3)); 
problem Problem1S1INT1S1ID1S1ID KC__P((char *s1, INT i1, char *s2, ID id2, char *s3, ID id3)); 
problem Problem1S1storageoption1S1ID KC__P((char *s1, storageoption so, char *s2, ID id)); 
problem Problem2S KC__P((char *s1, char *s2)); 
problem ProblemSC KC__P((char *s1, casestring s2)); 
problem Problem3S KC__P((char *s1, char *s2, char *s3)); 
problem Problem4S KC__P((char *s1, char *s2, char *s3, char *s4)); 
problem Problem3S1int1S KC__P((char *s1, char *s2, char *s3, int i1, char *s4)); 
void v_report KC__P((error e)); 
void v_hfile_printer KC__P((char *s, view v)); 
void v_cfile_printer KC__P((char *s, view v)); 
void v_null_printer KC__P((char *s, view v)); 
#endif /* !  KC_FUNCTIONS_error_HEADER */