C: » dev » sandbox » xsb_release » XSB » emu

error_xsb.c File Reference

#include "xsb_config.h"
#include "xsb_debug.h"
#include <stdio.h>
#include <stdarg.h>
#include <string.h>
#include <signal.h>
#include <stdlib.h>
#include "auxlry.h"
#include "cell_xsb.h"
#include "psc_xsb.h"
#include "subp.h"
#include "register.h"
#include "context.h"
#include "error_xsb.h"
#include "io_builtins_xsb.h"
#include "cinterf.h"
#include "memory_xsb.h"
#include "tries.h"
#include "choice.h"
#include "inst_xsb.h"
#include "macro_xsb.h"
#include "tr_utils.h"
#include "binding.h"
#include "cut_xsb.h"
#include "flags_xsb.h"
#include "term_psc_xsb_i.h"
#include "thread_xsb.h"

Defines

#define MsgBuf   (*tsgSBuff1)
#define FlagBuf   (*tsgSBuff2)
#define str_op1   (*tsgSBuff1)
#define str_op2   (*tsgSBuff2)
#define str_op   (*tsgSBuff1)
#define str_op1   (*tsgSBuff1)

Functions

void remove_incomplete_tries (CTXTdeclc CPtr)
PrRef get_prref (CTXTdeclc Psc psc)
DllExport void call_conv xsb_throw (CTXTdeclc prolog_term Ball, unsigned long Ball_len)
void call_conv xsb_domain_error (CTXTdeclc char *valid_domain, Cell culprit, char *predicate, int arity, int arg)
void call_conv xsb_existence_error (CTXTdeclc char *object, Cell culprit, char *predicate, int arity, int arg)
void call_conv xsb_instantiation_error (CTXTdeclc char *predicate, int arity, int arg, char *state)
void call_conv xsb_permission_error (CTXTdeclc char *operation, char *object, Cell culprit, char *predicate, int arity)
void call_conv xsb_resource_error (CTXTdeclc char *resource, char *predicate, int arity)
void call_conv xsb_memory_error (char *resource, char *message)
void call_conv xsb_resource_error_nopred (CTXTdeclc char *resource, char *message)
void call_conv xsb_table_error (CTXTdeclc char *message)
void call_conv xsb_type_error (CTXTdeclc char *valid_type, Cell culprit, char *predicate, int arity, int arg)
void call_conv xsb_basic_abort (char *message)
DllExport void call_conv xsb_abort (char *description,...)
DllExport void call_conv abort_xsb (char *description)
DllExport void call_conv xsb_bug (char *description,...)
DllExport void call_conv bug_xsb (char *description)
void arithmetic_abort (CTXTdeclc Cell op1, char *OP, Cell op2)
void arithmetic_abort1 (CTXTdeclc char *OP, Cell op)
void arithmetic_comp_abort (CTXTdeclc Cell op1, char *OP, int op2)
DllExport void call_conv xsb_error (char *description,...)
DllExport void call_conv error_xsb (char *description)
DllExport void call_conv xsb_warn (char *description,...)
DllExport void call_conv warn_xsb (char *description)
DllExport void call_conv xsb_mesg (char *description,...)
DllExport void call_conv mesg_xsb (char *description)
DllExport void call_conv xsb_exit (char *description,...)
DllExport void call_conv exit_xsb (char *description)
void err_handle (CTXTdeclc int description, int arg, char *f, int ar, char *expected, Cell found)
int set_scope_marker (CTXTdecl)
int unwind_stack (CTXTdecl)
int clean_up_block (CTXTdecl)

Variables

jmp_buf xsb_abort_fallback_environment
FILE * stdmsg
FILE * stddbg
FILE * stdwarn
FILE * stdfdbk
static char * err_msg_table []
byte * catch_scope_marker

Define Documentation

#define FlagBuf   (*tsgSBuff2)
 

#define MsgBuf   (*tsgSBuff1)
 

#define str_op   (*tsgSBuff1)
 

#define str_op1   (*tsgSBuff1)
 

#define str_op1   (*tsgSBuff1)
 

#define str_op2   (*tsgSBuff2)
 

Function Documentation

DllExport void call_conv abort_xsb (  char *  description  ) 
 

void arithmetic_abort (  CTXTdeclc Cell  op1,
char *  OP,
Cell  op2
) 
 

void arithmetic_abort1 (  CTXTdeclc char *  OP,
Cell  op
) 
 

void arithmetic_comp_abort (  CTXTdeclc Cell  op1,
char *  OP,
int  op2
) 
 

DllExport void call_conv bug_xsb (  char *  description  ) 
 

int clean_up_block (  CTXTdecl   ) 
 

void err_handle (  CTXTdeclc int  description,
int  arg,
char *  f,
int  ar,
char *  expected,
Cell  found
) 
 

DllExport void call_conv error_xsb (  char *  description  ) 
 

DllExport void call_conv exit_xsb (  char *  description  ) 
 

PrRef get_prref (  CTXTdeclc Psc  psc  ) 
 

DllExport void call_conv mesg_xsb (  char *  description  ) 
 

void remove_incomplete_tries (  CTXTdeclc  CPtr  ) 
 

int set_scope_marker (  CTXTdecl   ) 
 

int unwind_stack (  CTXTdecl   ) 
 

DllExport void call_conv warn_xsb (  char *  description  ) 
 

DllExport void call_conv xsb_abort (  char *  description,
  ...
) 
 

void call_conv xsb_basic_abort (  char *  message  ) 
 

DllExport void call_conv xsb_bug (  char *  description,
  ...
) 
 

void call_conv xsb_domain_error (  CTXTdeclc char *  valid_domain,
Cell  culprit,
char *  predicate,
int  arity,
int  arg
) 
 

DllExport void call_conv xsb_error (  char *  description,
  ...
) 
 

void call_conv xsb_existence_error (  CTXTdeclc char *  object,
Cell  culprit,
char *  predicate,
int  arity,
int  arg
) 
 

DllExport void call_conv xsb_exit (  char *  description,
  ...
) 
 

void call_conv xsb_instantiation_error (  CTXTdeclc char *  predicate,
int  arity,
int  arg,
char *  state
) 
 

void call_conv xsb_memory_error (  char *  resource,
char *  message
) 
 

DllExport void call_conv xsb_mesg (  char *  description,
  ...
) 
 

void call_conv xsb_permission_error (  CTXTdeclc char *  operation,
char *  object,
Cell  culprit,
char *  predicate,
int  arity
) 
 

void call_conv xsb_resource_error (  CTXTdeclc char *  resource,
char *  predicate,
int  arity
) 
 

void call_conv xsb_resource_error_nopred (  CTXTdeclc char *  resource,
char *  message
) 
 

void call_conv xsb_table_error (  CTXTdeclc char *  message  ) 
 

DllExport void call_conv xsb_throw (  CTXTdeclc prolog_term  Ball,
unsigned long  Ball_len
) 
 

void call_conv xsb_type_error (  CTXTdeclc char *  valid_type,
Cell  culprit,
char *  predicate,
int  arity,
int  arg
) 
 

DllExport void call_conv xsb_warn (  char *  description,
  ...
) 
 

Variable Documentation

byte* catch_scope_marker
 

char* err_msg_table[] [static]
 

Initial value:

 {
        "Calculation", "Database", "Evaluation", "Implementation",
        "Instantiation", "I/O Control", "I/O End-of-file", "I/O Formatting",
        "Operator", "Overflow", "Range", "Syntax", "Type",
        "Undefined predicate/function", "Undefined value",
        "Underflow", "Zero division" }

FILE* stddbg
 

FILE* stdfdbk
 

FILE* stdmsg
 

FILE* stdwarn
 

jmp_buf xsb_abort_fallback_environment
 

Generated on Wed Jul 26 13:26:53 2006 for XSB by  doxygen 1.4.5