31 while (g) { i++; g=g->
next; }
42 while (c) { i++; c=c->
next; }
53 while (t) { i++; t=t->
next; }
64 fprintf(outfile,
"*** Stack depths [");
68 fprintf(outfile,
"%ld goal%s, %ld choice point%s, %ld trail entr%s",
71 tn,(tn!=1?
"ies":
"y"));
72 fprintf(outfile,
"]\n");
91 va_start(VarArg,format);
94 for (p=format;p && *p; p++)
107 lng2 = va_arg(VarArg,
long);
114 cptr = va_arg(VarArg,
char *);
127 kind = va_arg(VarArg,
operator);
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);
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);
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);
427 va_start(VarArg,format);
429 fprintf(stderr,
"*** Error: ");
433 for (p=format;p && *p; p++)
446 lng2 = va_arg(VarArg,
long);
447 fprintf(stderr, buffer_loc, lng2);
453 cptr = va_arg(VarArg,
char *);
454 fprintf(stderr, buffer_loc, cptr);
466 kind = va_arg(VarArg,
operator);
483 (void)putc(*p,stderr);
486 fprintf(stderr,
"<%c follows %% : report bug >", *p);
491 (
void)putc(*p,stderr);
510 va_start(VarArg,format);
514 fprintf(stderr,
"*** Syntax error: ");
518 for (p=format;p && *p; p++)
531 lng2 = va_arg(VarArg,
long);
532 fprintf(stderr, buffer_loc, lng2);
538 cptr = va_arg(VarArg,
char *);
539 fprintf(stderr, buffer_loc, cptr);
551 kind = va_arg(VarArg,
operator);
568 (void)putc(*p,stderr);
571 fprintf(stderr,
"<%c follows %% : report bug >", *p);
576 (
void)putc(*p,stderr);
614 for (i=indent_loc; i>=0; i--) printf(
" ");
623 printf(
"*** Tracing is turned ");
624 printf(
trace?
"on.":
"off.");
625 if (
trace == 2) printf(
" Only for Proves");
633 printf(
"*** Single stepping is turned ");
662 (void)fputs(str, stderr);
668 fprintf(stderr,s1,s2);
674 fprintf(stderr,s1,s2,s3);
681 fprintf(stderr,str,i);
706 perr_s2(
"*** %s: %s in '",s2,s);
761 perr_s(
"*** %s: argument '",s2);
817 if (val!=floor(val)) {
828 return nonint_warning(arg,val,
"of bitwise 'and' operation is not an integer");
835 return nonint_warning(arg,val,
"of bitwise 'or' operation is not an integer");
842 return nonint_warning(arg,val,
"of bitwise 'not' operation is not an integer");
849 return nonint_warning(arg,val,
"of integer division is not an integer");
859 err=
nonint_warning(arg,val,
"of modulo operation is not an integer");
860 if(!err && zero && val==0) {
861 Errorline(
"division by 0 in modulo operation\n");
873 return nonint_warning(arg,val,
"of right shift operation is not an integer");
875 return nonint_warning(arg,val,
"of left shift operation is not an integer");
void perr_s2(char *s1, char *s2, char *s3)
void stack_info(FILE *outfile)
long bit_and_warning(ptr_psi_term arg, REAL val)
void warningline(char *format,...)
long shift_warning(long dir, ptr_psi_term arg, REAL val)
void perr_i(char *str, long i)
void outputline(char *format,...)
long psi_term_line_number
void set_trace_to_prove()
void report_error2_main(ptr_psi_term g, char *s, char *s2)
void report_warning2(ptr_psi_term g, char *s)
void display_psi(FILE *s, ptr_psi_term t)
void report_error_main(ptr_psi_term g, char *s, char *s2)
void new_trace(long newtrace)
void infoline(char *format,...)
void traceline(char *format,...)
void display_psi_stderr(ptr_psi_term t)
long bit_or_warning(ptr_psi_term arg, REAL val)
long overlap_type(ptr_definition t1, ptr_definition t2)
long nonint_warning(ptr_psi_term arg, REAL val, char *msg)
void report_error2(ptr_psi_term g, char *s)
long abort_life(int nlflag)
abort_life
void new_step(long newstep)
void perr_s(char *s1, char *s2)
void Errorline(char *format,...)
long bit_not_warning(ptr_psi_term arg, REAL val)
void print_code(FILE *s, ptr_int_list c)
void report_error(ptr_psi_term g, char *s)
void print_def_type(def_type t)
long mod_warning(ptr_psi_term arg, REAL val, int zero)
long int_div_warning(ptr_psi_term arg, REAL val)
long reportAndAbort(ptr_psi_term g, char *s)
void Syntaxerrorline(char *format,...)
void print_operator_kind(FILE *s, long kind)
ptr_choice_point choice_stack
void nonnum_warning(ptr_psi_term t, ptr_psi_term arg1, ptr_psi_term arg2)
void report_warning(ptr_psi_term g, char *s)