00001
00002
00003
00004
00005
00006
00007 #ifndef _ERROR_H_
00008 #define _ERROR_H_
00009 #ifdef OS2_PORT
00010 #include "extern.h"
00011 #endif
00012
00013 #ifdef OS2_PORT
00014 #include <stdarg.h>
00015 #define ARGS(args) args
00016 #define VarArgBase ...
00017 #define VarArgBaseDecl
00018 #define VarArgDecl va_list VarArg; char *p;int l; \
00019 ptr_psi_term psi; \
00020 char buffer[5]; \
00021 ptr_int_list pil; \
00022 operator kind; \
00023 unsigned long lng2; \
00024 char *cptr; \
00025 def_type t
00026
00027 #define VarArgDecl2 va_list VarArg
00028 #endif
00029
00030 extern void stack_info();
00031
00032 extern void init_trace();
00033 extern void reset_step();
00034 extern void tracing();
00035 extern void new_trace();
00036 extern void new_step();
00037 extern void toggle_trace();
00038 extern void toggle_step();
00039 extern void set_trace_to_prove();
00040 extern long quietflag;
00041 extern long trace;
00042 extern long verbose;
00043 extern long stepflag;
00044 extern long steptrace;
00045 extern long stepcount;
00046
00047 #define NOTQUIET (!quietflag || verbose)
00048
00049 extern long warning();
00050 extern long warningx();
00051 extern void perr();
00052 extern void perr_s();
00053 extern void perr_s2();
00054 extern void perr_i();
00055
00056 extern void report_error();
00057 extern void report_warning();
00058 extern void report_error2();
00059 extern void report_warning2();
00060
00061 extern void nonnum_warning();
00062 extern long bit_and_warning();
00063 extern long bit_or_warning();
00064 extern long bit_not_warning();
00065 extern long int_div_warning();
00066 extern long mod_warning();
00067 extern long shift_warning();
00068
00069 #ifndef NOTRACE
00070 #define Traceline if (trace) traceline
00071 #else
00072 #define Traceline if (0) traceline
00073 #endif
00074
00075
00076 #define Infoline if (NOTQUIET) infoline
00077
00078 #ifndef OS2_PORT
00079 extern void outputline();
00080 extern void infoline();
00081 extern void traceline();
00082 extern void warningline();
00083 extern void Errorline();
00084 extern void Syntaxerrorline();
00085 #else
00086 extern void outputline(char *format,...);
00087 extern void infoline(char *format,...);
00088 extern void traceline(char *format,...);
00089 extern void warningline(char *format,...);
00090 extern void Errorline(char *format,...);
00091 extern void Syntaxerrorline(char *format,...);
00092 #endif
00093
00094 #define Warningline if (warningflag) warningline
00095
00096 #endif