XSB: C:/dev/sandbox/xsb_release/XSB/syslib/error

00001 /* File:      error_handler.H
00002 ** Author(s): Swift
00003 ** Contact:   xsb-contact@cs.sunysb.edu
00004 ** 
00005 ** Copyright (C) The Research Foundation of SUNY, 1986, 1993-1998
00006 ** Copyright (C) ECRC, Germany, 1990
00007 ** 
00008 ** XSB is free software; you can redistribute it and/or modify it under the
00009 ** terms of the GNU Library General Public License as published by the Free
00010 ** Software Foundation; either version 2 of the License, or (at your option)
00011 ** any later version.
00012 ** 
00013 ** XSB is distributed in the hope that it will be useful, but WITHOUT ANY
00014 ** WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
00015 ** FOR A PARTICULAR PURPOSE.  See the GNU Library General Public License for
00016 ** more details.
00017 ** 
00018 ** You should have received a copy of the GNU Library General Public License
00019 ** along with XSB; if not, write to the Free Software Foundation,
00020 ** Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
00021 **
00022 ** $Id: error_handler.H,v 1.25 2006/02/20 20:36:31 tswift Exp $
00023 ** 
00024 */
00025 
00026 :- export abort_on_thread_cancel/0, domain_error/4,domain_error/5,
00027    evaluation_error/3, existence_error/4,
00028    instantiation_error/2,  % obsolescent
00029    instantiation_error/3,
00030    misc_error/1,permission_error/4, 
00031    representation_error/3, resource_error/2,
00032    syntax_error/1, system_error/3,
00033    table_error/1, type_error/4, 
00034               check_atom/3, check_atom_list/3, check_callable/3,
00035               check_ground/3, check_integer/3, check_nonneg_integer/3,
00036               check_nonvar_list/3, check_nonvar/3, 
00037               check_number/3, check_one_thread/3,
00038               check_var/3, 
00039               default_error_handler/1,
00040               default_sys_error_handler/1,
00041               get_sys_error_description/2,
00042               get_sys_error_description/3,
00043               print_backtrace/1,
00044               get_backtrace/2,
00045               get_backtrace_list/2.
00046 
00047  :- import (dynamic)/1,asserta/1 from assert.
00048  :- import ground/1 from basics.
00049 %%:- import reset_undef_pred_handlers/0 from loader.
00050 :- import close_open_tables/0, psc_data/2, psc_name/2, psc_arity/2,
00051           stat_flag/2, xsb_backtrace/1 from machine.
00052 
00053 :- import ','/2 from standard.
00054  :- import atom/1, callable/1, messageln/2, number/1, 
00055            throw/1,integer/1 from standard.
00056 :- import concat_atom/2 from string.
00057 :- import xsb_flag/2 from curr_sym.
00058 :- import xsb_thread_exit/1, 
00059           xsb_thread_property/2 , xsb_thread_self/1 from thread.