|
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 infoline |
( |
char * |
format, |
|
|
|
... |
|
) |
| |
Definition at line 245 of file error.c.
References assert, display_psi(), FALSE, input_file_name, NOTQUIET, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), and psi_term_line_number.
258 va_start(VarArg,format);
264 for (p=format;p && *p; p++)
277 lng2 = va_arg(VarArg,
long);
278 fprintf(stdout, buffer_loc, lng2);
284 cptr = va_arg(VarArg,
char *);
285 fprintf(stdout, buffer_loc, cptr);
297 kind = va_arg(VarArg,
operator);
314 (void)putc(*p,stdout);
317 fprintf(stdout,
"<%c follows %% : report bug >", *p);
322 (
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)
display_psi
void perr_s(char *s1, char *s2)
void print_code(FILE *s, ptr_int_list c)
print_code
void print_def_type(def_type t)
print_def_type
void print_operator_kind(FILE *s, long kind)
print_operator_kind
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)
display_psi
void perr_s(char *s1, char *s2)
void print_code(FILE *s, ptr_int_list c)
print_code
void print_def_type(def_type t)
print_def_type
void print_operator_kind(FILE *s, long kind)
print_operator_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)
display_psi
void perr_s(char *s1, char *s2)
void print_code(FILE *s, ptr_int_list c)
print_code
void print_def_type(def_type t)
print_def_type
void print_operator_kind(FILE *s, long kind)
print_operator_kind