[Xsb-commits] CVS: XSB/syslib tables.H,1.28,1.29 tables.P,1.37,1.38 tables.xwam,1.4,1.5

[Luis C. <lfc...@us...>]

Update of /cvsroot/xsb/XSB/syslib
In directory usw-pr-cvs1:/tmp/cvs-serv27460

Modified Files:
	tables.H tables.P tables.xwam 
Log Message:
* Second version of abolish_table_call
  - throws exception if applied to a subsumptive table
  - removes all tables that unify with the given call
  - updated manual entry


Index: tables.H
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/tables.H,v
retrieving revision 1.28
retrieving revision 1.29
diff -u -r1.28 -r1.29
--- tables.H	28 Feb 2001 19:33:16 -0000	1.28
+++ tables.H	8 Nov 2002 19:57:25 -0000	1.29
@@ -65,7 +65,9 @@
 :- import (dynamic)/1, retract/1, retract_nr/1, retractall/1, t_assert/2
      from assert.
 :- import (=..)/2, abort/1, call/1, functor/3, is_attv/1, (table)/1, tcall/1
-     from standard.  
+     from standard.
+:- import throw/1 from standard.
+
 :- import abolish_table_info/0, delete_attributes/1, term_psc/2, term_new/2
      from machine.
 :- import numbervars/3, unnumbervars/2

Index: tables.P
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/tables.P,v
retrieving revision 1.37
retrieving revision 1.38
diff -u -r1.37 -r1.38
--- tables.P	5 Nov 2002 20:50:45 -0000	1.37
+++ tables.P	8 Nov 2002 19:57:25 -0000	1.38
@@ -392,7 +392,13 @@
 
 abolish_table_call(Call) :-
 	get_calls(Call,Handle,_Template),
-	abolish_table_call_bi(Handle).
+	table_state(Handle,PredType,_CallType,_AnsSetStatus),
+	(   PredType = subsumptive
+	->  throw(error(table_error(abolishing_subsumptive_call)))
+	;   abolish_table_call_bi(Handle)
+	),
+	fail.
+abolish_table_call(_Call).
 
 abolish_table_call_bi(_Handle) :-
 	'_$builtin'(ABOLISH_TABLE_CALL).

Index: tables.xwam
===================================================================
RCS file: /cvsroot/xsb/XSB/syslib/tables.xwam,v
retrieving revision 1.4
retrieving revision 1.5
diff -u -r1.4 -r1.5
Binary files /tmp/cvsOhA11h and /tmp/cvssnHlPp differ