/* File:        flrdebug_data.P -- data that guides XSB debugger in Flora shell
**
** Author(s): Michael Kifer
** Contact:   flora-users@lists.sourceforge.net
**
** Copyright (C) The Research Foundation of SUNY, 2001
**
** FLORA-2 is free software; you can redistribute it and/or modify it under the
** terms of the GNU Library General Public License as published by the Free
** Software Foundation; either version 2 of the License, or (at your option)
** any later version.
** 
** FLORA-2 is distributed in the hope that it will be useful, but WITHOUT ANY
** WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
** FOR A PARTICULAR PURPOSE.  See the GNU Library General Public License for
** more details.
** 
** You should have received a copy of the GNU Library General Public License
** along with FLORA-2; if not, write to the Free Software Foundation,
** Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
** 
** $Id: static_data.in,v 1.13 2003/06/18 07:01:33 kifer Exp $
** 
*/

%% This is stationary data -- independent of the workspace

:- compiler_options([xpp_on]).

#mode standard Prolog

#include "flrheader.flh"
#include "flora_terms.flh"
#include "flora_porting.flh"


%% These are handled even if flTracelow is in effect
hide_this_hide(flora_shell_command_line,3).
hide_this_hide(flora_write_goal,1).

hide_this_hide(flora_debug_module_registry,1).

hide_this_hide(flTrace,0).
hide_this_hide(flTrace,1).
hide_this_hide(flNoTrace,0).
hide_this_hide(flTraceLow,0).
hide_this_hide(flTraceLow,1).
hide_this_hide(flNoTraceLow,0).

hide_this_hide(flOne,0).
hide_this_hide(flAll,0).

hide_this_hide(flora_switch,1).
hide_this_hide(flora_set_switch,1).

hide_this_hide(flora_shell_prompt,0).
hide_this_hide(flora_loop_guard,1).
hide_this_hide(flora_write_No,0).
hide_this_hide(flora_write_Yes,0).
hide_this_hide(flora_handle_trace,0).
hide_this_hide(flora_handle_notrace,0).
hide_this_hide(flora_handle_end_of_call,0).

hide_this_hide(flora_error_undefined,1).

hide_this_hide(flora_reclaim_storage_space,0).
hide_this_hide(flora_commit_storage,0).
hide_this_hide(flora_load_file,1).
hide_this_hide(FLLIBLOAD,4).

hide_this_hide(flora_insert_rules,2).

hide_this_hide(flora_funct_arity,2).

trace_this_noprint(flora_findall,3).

show_this_hide(flora_db_find_base,2).
show_this_hide(flora_plg2hlg,4).

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% The following predicates are hidden only under flTrace, not flTraceLow %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

flora_hide_this_hide((FLORA_TNOT_PREDICATE)/1).
%% unclear why the next one is needed to supress 't_not' - maybe a bug in
%% XSB debugger 
hide_this_hide('t_not',3).

flora_show_this_hide((flCompile)/1).
flora_show_this_hide((flLoad)/1).

%% These are handled by the debugger only if flTraceLow is NOT in effect.
flora_show_this_hide(FLLIBCOLLECTSET/4).
flora_show_this_hide(FLLIBCOLLECTBAG/4).
flora_show_this_hide(FLLIBMIN/4).
flora_show_this_hide(FLLIBMAX/4).
flora_show_this_hide(FLLIBAVG/4).
flora_show_this_hide(FLLIBSUM/4).
flora_show_this_hide(FLLIBCOUNT/4).

flora_show_this_hide(FLLIBERASEALL/2).
flora_show_this_hide(FLLIBERASEALL/1).
flora_show_this_hide(FLLIBERASE/2).
flora_show_this_hide(FLLIBERASE/1).
flora_show_this_hide(FLLIBBTERASEALL/2).
flora_show_this_hide(FLLIBBTERASEALL/1).
flora_show_this_hide(FLLIBBTERASE/2).
flora_show_this_hide(FLLIBBTERASE/1).

flora_show_this_hide(FLLIBBTINSERTALL/2).
flora_show_this_hide(FLLIBBTINSERTALL/1).
flora_show_this_hide(FLLIBBTINSERT/2).
flora_show_this_hide(FLLIBBTINSERT/1).
flora_show_this_hide(FLLIBINSERTALL/2).
flora_show_this_hide(FLLIBINSERTALL/1).
flora_show_this_hide(FLLIBINSERT/2).
flora_show_this_hide(FLLIBINSERT/1).

flora_show_this_hide(FLLIBBTDELETEALL/2).
flora_show_this_hide(FLLIBBTDELETEALL/1).
flora_show_this_hide(FLLIBBTDELETE/2).
flora_show_this_hide(FLLIBBTDELETE/1).
flora_show_this_hide(FLLIBDELETEALL/2).
flora_show_this_hide(FLLIBDELETEALL/1).
flora_show_this_hide(FLLIBDELETE/2).
flora_show_this_hide(FLLIBDELETE/1).

%% A ~ B
flora_show_this_hide(FLLIBUNIVEQFORM/2).

%% Dynamic module spec wrappers
flora_show_this_hide(FLLIBMODLIT/3).
flora_show_this_hide(FLLIBMODLIT/4).
flora_hide_this_hide(FLLIBMODOBJ/4).
flora_hide_this_hide(FLLIBMODOBJ/5).

flora_hide_this_hide(FLLIBSHDIRECT/3).
flora_hide_this_hide(FLLIBSHDIRECT/4).
flora_hide_this_hide(FLLIBSHDIRECT/5).

trace_this_noprint(FLORA_SYMBOL('catch'),3).

FLORA_SYMBOL('debugger_static_data_loaded').