error messaging, etc. More...
Go to the source code of this file.
Functions | |
| static long | depth_gs () |
| depth_gs More... | |
| static long | depth_cs () |
| depth_cs More... | |
| static long | depth_ts () |
| depth_ts More... | |
| void | stack_info (FILE *outfile) |
| stack_info More... | |
| void | outputline (char *format,...) |
| void outputline(char *format,...) More... | |
| void | traceline (char *format,...) |
| traceline More... | |
| void | infoline (char *format,...) |
| infoline More... | |
| void | warningline (char *format,...) |
| warningline More... | |
| void | Errorline (char *format,...) |
| Errorline. More... | |
| void | Syntaxerrorline (char *format,...) |
| Syntaxerrorline. More... | |
| void | init_trace () |
| init_trace More... | |
| void | reset_step () |
| reset_step More... | |
| void | tracing () |
| tracing More... | |
| void | new_trace (long newtrace) |
| new_trace More... | |
| void | new_step (long newstep) |
| new_step More... | |
| void | set_trace_to_prove () |
| set_trace_to_prove More... | |
| void | toggle_trace () |
| toggle_trace More... | |
| void | toggle_step () |
| toggle_step More... | |
| void | perr (char *str) |
| perr More... | |
| void | perr_s (char *s1, char *s2) |
| perr_s More... | |
| void | perr_s2 (char *s1, char *s2, char *s3) |
| perr_s2 More... | |
| void | perr_i (char *str, long i) |
| perr_i More... | |
| long | warning () |
| warning More... | |
| long | warningx () |
| warningx More... | |
| void | report_error_main (ptr_psi_term g, char *s, char *s2) |
| report_error_main More... | |
| void | report_error (ptr_psi_term g, char *s) |
| report_error More... | |
| long | reportAndAbort (ptr_psi_term g, char *s) |
| reportAndAbort More... | |
| void | report_warning (ptr_psi_term g, char *s) |
| report_warning More... | |
| void | report_error2_main (ptr_psi_term g, char *s, char *s2) |
| report_error2_main More... | |
| void | report_error2 (ptr_psi_term g, char *s) |
| report_error2 More... | |
| void | report_warning2 (ptr_psi_term g, char *s) |
| report_warning2 More... | |
| void | nonnum_warning (ptr_psi_term t, ptr_psi_term arg1, ptr_psi_term arg2) |
| nonnum_warning More... | |
| long | nonint_warning (ptr_psi_term arg, REAL val, char *msg) |
| nonint_warning More... | |
| long | bit_and_warning (ptr_psi_term arg, REAL val) |
| bit_and_warning More... | |
| long | bit_or_warning (ptr_psi_term arg, REAL val) |
| bit_or_warning More... | |
| long | bit_not_warning (ptr_psi_term arg, REAL val) |
| bit_not_warning More... | |
| long | int_div_warning (ptr_psi_term arg, REAL val) |
| int_div_warning More... | |
| long | mod_warning (ptr_psi_term arg, REAL val, int zero) |
| mod_warning More... | |
| long | shift_warning (long dir, ptr_psi_term arg, REAL val) |
| shift_warning More... | |
Variables | |
| long | warningflag =TRUE |
| long | quietflag =FALSE |
| long | trace =FALSE |
| long | verbose =FALSE |
| long | stepflag = 0 |
| long | steptrace = 0 |
| long | stepcount = 0 |
error messaging, etc.
Definition in file error.c.
| long bit_and_warning | ( | ptr_psi_term | arg, |
| REAL | val | ||
| ) |
bit_and_warning
| ptr_psi_term | arg |
| REAL | val |
Definition at line 992 of file error.c.
References nonint_warning().
| long bit_not_warning | ( | ptr_psi_term | arg, |
| REAL | val | ||
| ) |
bit_not_warning
| ptr_psi_term | arg |
| REAL | val |
Definition at line 1016 of file error.c.
References nonint_warning().
| long bit_or_warning | ( | ptr_psi_term | arg, |
| REAL | val | ||
| ) |
bit_or_warning
| ptr_psi_term | arg |
| REAL | val |
Definition at line 1004 of file error.c.
References nonint_warning().
|
static |
depth_cs
Depth of choice point stack
Definition at line 47 of file error.c.
References choice_stack, and wl_choice_point::next.
|
static |
depth_gs
Depth of goal stack
Definition at line 33 of file error.c.
References goal_stack, and wl_goal::next.
|
static |
depth_ts
Depth of trail (undo) stack
Definition at line 62 of file error.c.
References wl_stack::next, and undo_stack.
| void Errorline | ( | char * | format, |
| ... | |||
| ) |
Errorline.
| char | *format |
| ... | New error printing routine |
Definition at line 465 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(), and psi_term_line_number.
| void infoline | ( | char * | format, |
| ... | |||
| ) |
infoline
| char | *format |
| ... |
Definition at line 281 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.
| void init_trace | ( | ) |
| long int_div_warning | ( | ptr_psi_term | arg, |
| REAL | val | ||
| ) |
int_div_warning
| ptr_psi_term | arg |
| REAL | val |
Definition at line 1028 of file error.c.
References nonint_warning().
| long mod_warning | ( | ptr_psi_term | arg, |
| REAL | val, | ||
| int | zero | ||
| ) |
mod_warning
| ptr_psi_term | arg |
| REAL | val |
| int | zero |
Definition at line 1041 of file error.c.
References Errorline(), nonint_warning(), and TRUE.
| void new_step | ( | long | newstep | ) |
| void new_trace | ( | long | newtrace | ) |
| long nonint_warning | ( | ptr_psi_term | arg, |
| REAL | val, | ||
| char * | msg | ||
| ) |
nonint_warning
| ptr_psi_term | arg |
| REAL | val |
| char | *msg |
Definition at line 974 of file error.c.
References FALSE, report_warning2(), and TRUE.
| void nonnum_warning | ( | ptr_psi_term | t, |
| ptr_psi_term | arg1, | ||
| ptr_psi_term | arg2 | ||
| ) |
nonnum_warning
| ptr_psi_term | t |
| ptr_psi_term | arg1 |
| ptr_psi_term | arg2 |
Give error message if there is an argument which cannot unify with/ a real number.
Definition at line 953 of file error.c.
References curried, overlap_type(), real, report_warning(), and wl_psi_term::type.
| void outputline | ( | char * | format, |
| ... | |||
| ) |
void outputline(char *format,...)
outputline
| char | *format |
| ... |
Definition at line 101 of file error.c.
References assert, display_psi(), FALSE, input_file_name, output_stream, parse_ok, perr_i(), perr_s(), print_code(), print_def_type(), print_operator_kind(), and psi_term_line_number.
| void perr | ( | char * | str | ) |
| void perr_i | ( | char * | str, |
| long | i | ||
| ) |
| void perr_s | ( | char * | s1, |
| char * | s2 | ||
| ) |
| void perr_s2 | ( | char * | s1, |
| char * | s2, | ||
| char * | s3 | ||
| ) |
| void report_error | ( | ptr_psi_term | g, |
| char * | s | ||
| ) |
report_error
| ptr_psi_term | g |
| char | *s |
REPORT_ERROR(g,s) Print an appropriate error message. G is the psi-term which caused the error, S a message to print. Format: '*** Error: s in 'g'.'
Definition at line 856 of file error.c.
References report_error_main().
| void report_error2 | ( | ptr_psi_term | g, |
| char * | s | ||
| ) |
report_error2
| ptr_psi_term | g |
| char | *s |
REPORT_ERROR2(g,s) Like report_error, with a slightly different format. Format: '*** Error: argument 'g' s.'
Definition at line 923 of file error.c.
References report_error2_main().
| void report_error2_main | ( | ptr_psi_term | g, |
| char * | s, | ||
| char * | s2 | ||
| ) |
report_error2_main
| ptr_psi_term | g |
| char | *s |
| char | *s2 |
Main routine for report_error2 and report_warning2
Definition at line 904 of file error.c.
References display_psi_stderr(), and perr_s().
| void report_error_main | ( | ptr_psi_term | g, |
| char * | s, | ||
| char * | s2 | ||
| ) |
report_error_main
| ptr_psi_term | g |
| char | *s |
| char | *s2 |
Main routine for report_error and report_warning
Definition at line 836 of file error.c.
References display_psi_stderr(), perr(), and perr_s2().
| void report_warning | ( | ptr_psi_term | g, |
| char * | s | ||
| ) |
report_warning
| ptr_psi_term | g |
| char | *s |
REPORT_WARNING(g,s) Print an appropriate error message. G is the psi-term which caused the error, S a message to print. Format: '*** Warning: s in 'g'.'
Definition at line 890 of file error.c.
References report_error_main(), and warningflag.
| void report_warning2 | ( | ptr_psi_term | g, |
| char * | s | ||
| ) |
report_warning2
| ptr_psi_term | g |
| char | *s |
REPORT_WARNING2(g,s) Like report_warning, with a slightly different format. Format: '*** Warning: argument 'g' s.'
Definition at line 938 of file error.c.
References report_error2_main(), and warningflag.
| long reportAndAbort | ( | ptr_psi_term | g, |
| char * | s | ||
| ) |
reportAndAbort
| ptr_psi_term | g |
| char | *s |
REPORTANDABORT(g,s) Print an appropriate error message. G is the psi-term which caused the error, S a message to print. Format: '*** Error: s in 'g'.'
Definition at line 872 of file error.c.
References abort_life(), report_error_main(), and TRUE.
| void reset_step | ( | ) |
| void set_trace_to_prove | ( | ) |
set_trace_to_prove
void set_trace_to_prove()
Definition at line 727 of file error.c.
References new_trace().
| long shift_warning | ( | long | dir, |
| ptr_psi_term | arg, | ||
| REAL | val | ||
| ) |
shift_warning
| long | dir |
| ptr_psi_term | arg |
| REAL | val |
Definition at line 1061 of file error.c.
References nonint_warning().
| void stack_info | ( | FILE * | outfile | ) |
stack_info
| FILE | *outfile |
Definition at line 77 of file error.c.
References depth_cs(), depth_gs(), depth_ts(), and verbose.
| void Syntaxerrorline | ( | char * | format, |
| ... | |||
| ) |
Syntaxerrorline.
| char | *format |
| ... |
Definition at line 557 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(), and psi_term_line_number.
| void toggle_step | ( | ) |
| void toggle_trace | ( | ) |
| void traceline | ( | char * | format, |
| ... | |||
| ) |
traceline
| char | *format |
| ... |
Definition at line 186 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().
| void tracing | ( | ) |
tracing
Definition at line 678 of file error.c.
References depth_cs(), depth_gs(), goal_count, MAX_TRACE_INDENT, steptrace, and TRUE.
| long warning | ( | ) |
| void warningline | ( | char * | format, |
| ... | |||
| ) |
warningline
| char | *format |
| ... |
Definition at line 371 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.
| long warningx | ( | ) |
1.8.6