From: Terrance S. <ts...@us...> - 2013-03-08 20:45:04
|
Update of /cvsroot/xsb/XSB/emu In directory sfp-cvs-1.v30.ch3.sourceforge.com:/tmp/cvs-serv19470 Modified Files: debug_xsb.c Log Message: ... -> '...' when output depth is exceeded. Index: debug_xsb.c =================================================================== RCS file: /cvsroot/xsb/XSB/emu/debug_xsb.c,v retrieving revision 1.101 retrieving revision 1.102 diff -u -r1.101 -r1.102 --- debug_xsb.c 28 Nov 2012 17:33:47 -0000 1.101 +++ debug_xsb.c 8 Mar 2013 20:45:01 -0000 1.102 @@ -79,7 +79,7 @@ level--; if (level < 0) { - fprintf(fp, "..."); + fprintf(fp, "'...'"); return; } printderef(term); @@ -89,7 +89,7 @@ fprintf(fp, "_%p", vptr(term)); return; case XSB_ATTV: - fprintf(fp, "_%p {...}", (CPtr)dec_addr(term)); + fprintf(fp, "_%p {'...'}", (CPtr)dec_addr(term)); return; case XSB_STRUCT: //NOTE: Below is a check for boxed numbers. If such is the case, then @@ -389,8 +389,7 @@ if (size > MAXTERMBUFSIZE/2) return size; level--; if (level < 0) { - sprintf(buffer+size, "..."); - return size+3; + return size + sprintf(buffer+size, "'...'"); } printderef(term); switch (cell_tag(term)) { @@ -399,7 +398,7 @@ return size+sprintf(buffer+size, "_v%p",vptr(term)); case XSB_ATTV: if (flags[WRITE_ATTRIBUTES] == WA_DOTS) { - return size + sprintf(buffer+size, "_attv%p {...} ", (CPtr)dec_addr(term)); + return size + sprintf(buffer+size, "_attv%p {'...'} ", (CPtr)dec_addr(term)); // return size+15+2*sizeof(CPtr); } else { |