|
| static long | depth_gs () |
| |
| static long | depth_cs () |
| |
| static long | depth_ts () |
| |
| void | stack_info (FILE *outfile) |
| |
| void | outputline (char *format,...) |
| |
| void | traceline (char *format,...) |
| |
| void | infoline (char *format,...) |
| |
| void | warningline (char *format,...) |
| |
| void | Errorline (char *format,...) |
| |
| void | Syntaxerrorline (char *format,...) |
| |
| void | init_trace () |
| |
| void | reset_step () |
| |
| void | tracing () |
| |
| void | new_trace (long newtrace) |
| |
| void | new_step (long newstep) |
| |
| void | set_trace_to_prove () |
| |
| void | toggle_trace () |
| |
| void | toggle_step () |
| |
| void | perr (char *str) |
| |
| void | perr_s (char *s1, char *s2) |
| |
| void | perr_s2 (char *s1, char *s2, char *s3) |
| |
| void | perr_i (char *str, long i) |
| |
| long | warning () |
| |
| long | warningx () |
| |
| void | report_error_main (ptr_psi_term g, char *s, char *s2) |
| |
| void | report_error (ptr_psi_term g, char *s) |
| |
| long | reportAndAbort (ptr_psi_term g, char *s) |
| |
| void | report_warning (ptr_psi_term g, char *s) |
| |
| void | report_error2_main (ptr_psi_term g, char *s, char *s2) |
| |
| void | report_error2 (ptr_psi_term g, char *s) |
| |
| void | report_warning2 (ptr_psi_term g, char *s) |
| |
| void | nonnum_warning (ptr_psi_term t, ptr_psi_term arg1, ptr_psi_term arg2) |
| |
| long | nonint_warning (ptr_psi_term arg, REAL val, char *msg) |
| |
| long | bit_and_warning (ptr_psi_term arg, REAL val) |
| |
| long | bit_or_warning (ptr_psi_term arg, REAL val) |
| |
| long | bit_not_warning (ptr_psi_term arg, REAL val) |
| |
| long | int_div_warning (ptr_psi_term arg, REAL val) |
| |
| long | mod_warning (ptr_psi_term arg, REAL val, int zero) |
| |
| long | shift_warning (long dir, ptr_psi_term arg, REAL val) |
| |
| void traceline |
( |
char * |
format, |
|
|
|
... |
|
) |
| |
Definition at line 157 of file error.c.
References assert, display_psi(), FALSE, input_file_name, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), psi_term_line_number, trace, and tracing().
170 va_start(VarArg,format);
176 if ((
trace == 2) && (format[0] !=
'p'))
return;
181 for (p=format;p && *p; p++)
194 lng2 = va_arg(VarArg,
long);
195 fprintf(stdout, buffer_loc, lng2);
201 cptr = va_arg(VarArg,
char *);
202 fprintf(stdout, buffer_loc, cptr);
214 kind = va_arg(VarArg,
operator);
231 (void)putc(*p,stdout);
234 fprintf(stdout,
"<%c follows %% : report bug >", *p);
239 (
void)putc(*p,stdout);
void perr_i(char *str, long i)
long psi_term_line_number
void display_psi(FILE *s, ptr_psi_term t)
void perr_s(char *s1, char *s2)
void print_code(FILE *s, ptr_int_list c)
void print_def_type(def_type t)
void print_operator_kind(FILE *s, long kind)
| void warningline |
( |
char * |
format, |
|
|
|
... |
|
) |
| |
Definition at line 327 of file error.c.
References assert, display_psi(), FALSE, input_file_name, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), psi_term_line_number, quietflag, and warningflag.
340 va_start(VarArg,format);
346 fprintf(stderr,
"*** Warning: ");
349 for (p=format;p && *p; p++)
362 lng2 = va_arg(VarArg,
long);
363 fprintf(stderr, buffer_loc, lng2);
369 cptr = va_arg(VarArg,
char *);
370 fprintf(stderr, buffer_loc, cptr);
382 kind = va_arg(VarArg,
operator);
399 (void)putc(*p,stderr);
402 fprintf(stderr,
"<%c follows %% : report bug >", *p);
407 (
void)putc(*p,stderr);
void perr_i(char *str, long i)
long psi_term_line_number
void display_psi(FILE *s, ptr_psi_term t)
void perr_s(char *s1, char *s2)
void print_code(FILE *s, ptr_int_list c)
void print_def_type(def_type t)
void print_operator_kind(FILE *s, long kind)