|
Defines |
#define | CALCULATION 0 |
#define | DATABASE 1 |
#define | EVALUATION 2 |
#define | IMPLEMENTATION 3 |
#define | INSTANTIATION 4 |
#define | IO_CONTROL 5 |
#define | IO_END_OF_FILE 6 |
#define | IO_FORMATTING 7 |
#define | OPERATOR 8 |
#define | XSBOVERFLOW 9 |
#define | RANGE 10 |
#define | SYNTAX 11 |
#define | TYPE 12 |
#define | UNDEFINED_PRED 13 |
#define | UNDEFINED_VAL 14 |
#define | XSBUNDERFLOW 15 |
#define | ZERO_DIVIDE 16 |
#define | THROWPAD 12 |
#define | err(d, a, f, ar) err_handle(CTXTc d, a, f, ar, NULL, (Cell)NULL) |
Functions |
DllExport void call_conv | xsb_exit (char *,...) |
DllExport void call_conv | exit_xsb (char *) |
DllExport void call_conv | xsb_abort (char *,...) |
DllExport void call_conv | abort_xsb (char *) |
DllExport void call_conv | xsb_bug (char *,...) |
DllExport void call_conv | bug_xsb (char *) |
void call_conv | xsb_basic_abort (char *) |
DllExport void call_conv | xsb_warn (char *,...) |
DllExport void call_conv | warn_xsb (char *) |
DllExport void call_conv | xsb_mesg (char *,...) |
DllExport void call_conv | mesg_xsb (char *) |
DllExport void call_conv | xsb_error (char *,...) |
DllExport void call_conv | error_xsb (char *) |
DllExport void call_conv | xsb_dbgmsg1 (int, char *,...) |
DllExport void call_conv | dbgmsg1_xsb (int, char *) |
void | arithmetic_abort1 (CTXTdeclc char *, Cell) |
void | arithmetic_abort (CTXTdeclc Cell, char *, Cell) |
void | arithmetic_comp_abort (CTXTdeclc Cell, char *, int) |
void | err_handle (CTXTdeclc int, int, char *, int, char *, Cell) |
int | print_xsb_backtrace (CTXTdecl) |
void | xsb_segfault_catcher (int) |
void | xsb_segfault_quitter (int) |
int | unwind_stack (CTXTdecl) |
void call_conv | xsb_domain_error (CTXTdeclc char *, Cell, char *, int, int) |
void call_conv | xsb_existence_error (CTXTdeclc char *, Cell, char *, int, int) |
void call_conv | xsb_instantiation_error (CTXTdeclc char *, int, int, char *) |
void call_conv | xsb_permission_error (CTXTdeclc char *, char *, Cell, char *, int) |
void call_conv | xsb_resource_error (CTXTdeclc char *, char *, int) |
void call_conv | xsb_resource_error_nopred (CTXTdeclc char *, char *) |
void call_conv | xsb_table_error (CTXTdeclc char *) |
void call_conv | xsb_type_error (CTXTdeclc char *, Cell, char *, int, int) |
void call_conv | xsb_memory_error (char *, char *) |
DllExport void call_conv | xsb_throw (CTXTdeclc prolog_term, unsigned long) |
prolog_term | build_xsb_backtrace (CTXTdecl) |
Variables |
FILE * | stdmsg |
FILE * | stdwarn |
FILE * | stddbg |
FILE * | stdfdbk |
char * | xsb_default_segfault_msg |
char * | xsb_segfault_message |
void(* | xsb_default_segfault_handler )(int) |