int sprintTrieSymbol(char * buffer, Cell symbol) { int ctr; if ( symbol == ESCAPE_NODE_SYMBOL ) return sprintf(buffer, "%lu [ESCAPE_NODE_SYMBOL]", ESCAPE_NODE_SYMBOL); else { switch(TrieSymbolType(symbol)) { case XSB_INT: return sprintf(buffer, IntegerFormatString, int_val(symbol)); break; case XSB_FLOAT: return sprintf(buffer, "%f", float_val(symbol)); break; case XSB_STRING: return sprintf(buffer, "%s", string_val(symbol)); break; case XSB_TrieVar: return sprintf(buffer, "_V" IntegerFormatString, DecodeTrieVar(symbol)); break; case XSB_STRUCT: { Psc psc; if (isboxedfloat(symbol)) { return sprintf(buffer, "%lf", boxedfloat_val(symbol)); break; } psc = DecodeTrieFunctor(symbol); ctr = sprint_quotedname(buffer, 0, get_name(psc)); return sprintf(buffer+ctr, "/%d", get_arity(psc)); } break; case XSB_LIST: return sprintf(buffer, "LIST"); break; default: return sprintf(buffer, "Unknown symbol (tag = %" Intfmt")", cell_tag(symbol)); break; } } }
void printTrieSymbol(FILE *fp, Cell symbol) { if ( symbol == ESCAPE_NODE_SYMBOL ) fprintf(fp, "%lu [ESCAPE_NODE_SYMBOL]", ESCAPE_NODE_SYMBOL); else { switch(TrieSymbolType(symbol)) { case XSB_INT: fprintf(fp, IntegerFormatString, int_val(symbol)); break; case XSB_FLOAT: fprintf(fp, "%f", float_val(symbol)); break; case XSB_STRING: fprintf(fp, "%s", string_val(symbol)); break; case XSB_TrieVar: fprintf(fp, "_V" IntegerFormatString, DecodeTrieVar(symbol)); break; case XSB_STRUCT: { Psc psc; if (isboxedfloat(symbol)) { fprintf(fp, "%lf", boxedfloat_val(symbol)); break; } psc = DecodeTrieFunctor(symbol); fprintf(fp, "%s/%d", get_name(psc), get_arity(psc)); } break; case XSB_LIST: fprintf(fp, "LIST"); break; default: fprintf(fp, "Unknown symbol (tag = %" Intfmt")", cell_tag(symbol)); break; } } }
int compare(CTXTdeclc const void * v1, const void * v2) { int comp; CPtr cptr1, cptr2; Cell val1 = (Cell) v1 ; Cell val2 = (Cell) v2 ; XSB_Deref(val2); /* val2 is not in register! */ XSB_Deref(val1); /* val1 is not in register! */ if (val1 == val2) return 0; switch(cell_tag(val1)) { case XSB_FREE: case XSB_REF1: if (isattv(val2)) return vptr(val1) - (CPtr)dec_addr(val2); else if (isnonvar(val2)) return -1; else { /* in case there exist local stack variables in the */ /* comparison, globalize them to guarantee that their */ /* order is retained as long as nobody "touches" them */ /* in the future -- without copying garbage collection */ if ((top_of_localstk <= vptr(val1)) && (vptr(val1) <= (CPtr)glstack.high-1)) { bld_free(hreg); bind_ref(vptr(val1), hreg); hreg++; val1 = follow(val1); /* deref again */ } if ((top_of_localstk <= vptr(val2)) && (vptr(val2) <= (CPtr)glstack.high-1)) { bld_free(hreg); bind_ref(vptr(val2), hreg); hreg++; val2 = follow(val2); /* deref again */ } return vptr(val1) - vptr(val2); } case XSB_FLOAT: if (isref(val2) || isattv(val2)) return 1; else if (isofloat(val2)) return sign(float_val(val1) - ofloat_val(val2)); else return -1; case XSB_INT: if (isref(val2) || isofloat(val2) || isattv(val2)) return 1; else if (isinteger(val2)) return int_val(val1) - int_val(val2); else if (isboxedinteger(val2)) return int_val(val1) - boxedint_val(val2); else return -1; case XSB_STRING: if (isref(val2) || isofloat(val2) || isinteger(val2) || isattv(val2)) return 1; else if (isstring(val2)) { return strcmp(string_val(val1), string_val(val2)); } else return -1; case XSB_STRUCT: // below, first 2 if-checks test to see if this struct is actually a number representation, // (boxed float or boxed int) and if so, does what the number case would do, only with boxed_val // macros. if (isboxedinteger(val1)) { if (isref(val2) || isofloat(val2) || isattv(val2)) return 1; else if (isinteger(val2)) return boxedint_val(val1) - int_val(val2); else if (isboxedinteger(val2)) return boxedint_val(val1) - boxedint_val(val2); else return -1; } else if (isboxedfloat(val1)) { if (isref(val2) || isattv(val2)) return 1; else if (isofloat(val2)) return sign(boxedfloat_val(val1) - ofloat_val(val2)); else return -1; } else if (cell_tag(val2) != XSB_STRUCT && cell_tag(val2) != XSB_LIST) return 1; else { int arity1, arity2; Psc ptr1 = get_str_psc(val1); Psc ptr2 = get_str_psc(val2); arity1 = get_arity(ptr1); if (islist(val2)) arity2 = 2; else arity2 = get_arity(ptr2); if (arity1 != arity2) return arity1-arity2; if (islist(val2)) comp = strcmp(get_name(ptr1), "."); else comp = strcmp(get_name(ptr1), get_name(ptr2)); if (comp || (arity1 == 0)) return comp; cptr1 = clref_val(val1); cptr2 = clref_val(val2); for (arity2 = 1; arity2 <= arity1; arity2++) { if (islist(val2)) comp = compare(CTXTc (void*)cell(cptr1+arity2), (void*)cell(cptr2+arity2-1)); else comp = compare(CTXTc (void*)cell(cptr1+arity2), (void*)cell(cptr2+arity2)); if (comp) break; } return comp; } break; case XSB_LIST: if (cell_tag(val2) != XSB_STRUCT && cell_tag(val2) != XSB_LIST) return 1; else if (isconstr(val2)) return -(compare(CTXTc (void*)val2, (void*)val1)); else { /* Here we are comparing two list structures. */ cptr1 = clref_val(val1); cptr2 = clref_val(val2); comp = compare(CTXTc (void*)cell(cptr1), (void*)cell(cptr2)); if (comp) return comp; return compare(CTXTc (void*)cell(cptr1+1), (void*)cell(cptr2+1)); } break; case XSB_ATTV: if (isattv(val2)) return (CPtr)dec_addr(val1) - (CPtr)dec_addr(val2); else if (isref(val2)) return (CPtr)dec_addr(val1) - vptr(val2); else return -1; default: xsb_abort("Compare (unknown tag %ld); returning 0", cell_tag(val1)); return 0; } }
static int symstkSPrintNextTerm(CTXTdeclc char * buffer, xsbBool list_recursion) { int ctr = 0; Cell symbol; if ( SymbolStack_IsEmpty ) { // fprintf(fp, "<no subterm>"); return 0; } SymbolStack_Pop(symbol); switch ( TrieSymbolType(symbol) ) { case XSB_INT: if ( list_recursion ) ctr = ctr + sprintf(buffer+ctr, "|" IntegerFormatString "]", int_val(symbol)); else ctr = ctr + sprintf(buffer+ctr, IntegerFormatString, int_val(symbol)); break; case XSB_FLOAT: if ( list_recursion ) ctr = ctr + sprintf(buffer+ctr, "|%f]", float_val(symbol)); else ctr = ctr + sprintf(buffer+ctr, "%f", float_val(symbol)); break; case XSB_STRING: { char *string = string_val(symbol); if ( list_recursion ) { if ( string == nil_string ) ctr = ctr + sprintf(buffer+ctr, "]"); else { // ctr = ctr + sprintf(buffer+ctr, "|%s]", string); ctr = ctr + sprintf(buffer+ctr, "|"); ctr = sprint_quotedname(buffer, ctr, string); ctr = ctr + sprintf(buffer+ctr, "]"); } } else // ctr = ctr + sprintf(buffer+ctr, "%s", string); ctr = sprint_quotedname(buffer, ctr, string); } break; case XSB_TrieVar: if ( list_recursion ) ctr = ctr + sprintf(buffer+ctr, "|V" IntegerFormatString "]", DecodeTrieVar(symbol)); else ctr = ctr + sprintf(buffer+ctr, "_V" IntegerFormatString, DecodeTrieVar(symbol)); break; case XSB_STRUCT: { Psc psc; int i; if (isboxedfloat(symbol)) { if ( list_recursion ) ctr = ctr + sprintf(buffer+ctr, "|%lf]", boxedfloat_val(symbol)); else ctr = ctr + sprintf(buffer+ctr, "%lf", boxedfloat_val(symbol)); break; } if ( list_recursion ) ctr = ctr + sprintf(buffer+ctr, "|"); psc = DecodeTrieFunctor(symbol); // ctr = ctr + sprintf(buffer+ctr, "%s(", get_name(psc)); ctr = sprint_quotedname(buffer, ctr, get_name(psc)); ctr = ctr + sprintf(buffer+ctr, "("); for (i = 1; i < (int)get_arity(psc); i++) { ctr = ctr + symstkSPrintNextTerm(CTXTc buffer+ctr,FALSE); ctr = ctr + sprintf(buffer+ctr, ","); } ctr = ctr + symstkSPrintNextTerm(CTXTc buffer+ctr,FALSE); ctr = ctr + sprintf(buffer+ctr, ")"); if ( list_recursion ) ctr = ctr + sprintf(buffer+ctr, "]"); } break; case XSB_LIST: if ( list_recursion ) ctr = ctr + sprintf(buffer+ctr, ","); else ctr = ctr + sprintf(buffer+ctr, "["); ctr = ctr + symstkSPrintNextTerm(CTXTc buffer+ctr,FALSE); ctr = ctr + symstkSPrintNextTerm(CTXTc buffer+ctr,TRUE); break; default: ctr = ctr + sprintf(buffer+ctr, "<unknown symbol>"); break; } return ctr; }
static void symstkPrintNextTerm(CTXTdeclc FILE *fp, xsbBool list_recursion) { Cell symbol; if ( SymbolStack_IsEmpty ) { fprintf(fp, "<no subterm>"); return; } SymbolStack_Pop(symbol); switch ( TrieSymbolType(symbol) ) { case XSB_INT: if ( list_recursion ) fprintf(fp, "|" IntegerFormatString "]", int_val(symbol)); else fprintf(fp, IntegerFormatString, int_val(symbol)); break; case XSB_FLOAT: if ( list_recursion ) fprintf(fp, "|%f]", float_val(symbol)); else fprintf(fp, "%f", float_val(symbol)); break; case XSB_STRING: { char *string = string_val(symbol); if ( list_recursion ) { if ( string == nil_string ) fprintf(fp, "]"); else fprintf(fp, "|%s]", string); } else fprintf(fp, "%s", string); } break; case XSB_TrieVar: if ( list_recursion ) fprintf(fp, "|V" IntegerFormatString "]", DecodeTrieVar(symbol)); else fprintf(fp, "_V" IntegerFormatString, DecodeTrieVar(symbol)); break; case XSB_STRUCT: { Psc psc; int i; if (isboxedfloat(symbol)) { if ( list_recursion ) fprintf(fp, "|%lf]", boxedfloat_val(symbol)); else fprintf(fp, "%lf", boxedfloat_val(symbol)); break; } if ( list_recursion ) fprintf(fp, "|"); psc = DecodeTrieFunctor(symbol); fprintf(fp, "%s(", get_name(psc)); for (i = 1; i < (int)get_arity(psc); i++) { symstkPrintNextTerm(CTXTc fp,FALSE); fprintf(fp, ","); } symstkPrintNextTerm(CTXTc fp,FALSE); fprintf(fp, ")"); if ( list_recursion ) fprintf(fp, "]"); } break; case XSB_LIST: if ( list_recursion ) fprintf(fp, ","); else fprintf(fp, "["); symstkPrintNextTerm(CTXTc fp,FALSE); symstkPrintNextTerm(CTXTc fp,TRUE); break; default: fprintf(fp, "<unknown symbol>"); break; } }