[Xsb-commits] CVS: XSB/lib constraintLib.P,1.9,1.10

[Terrance S. <ts...@us...>]

Update of /cvsroot/xsb/XSB/lib
In directory fdv4jf1.ch3.sourceforge.com:/tmp/cvs-serv7871

Modified Files:
	constraintLib.P 
Log Message:

Added portray_hook for when.


Index: constraintLib.P
===================================================================
RCS file: /cvsroot/xsb/XSB/lib/constraintLib.P,v
retrieving revision 1.9
retrieving revision 1.10
diff -u -r1.9 -r1.10
--- constraintLib.P	28 Feb 2008 14:49:35 -0000	1.9
+++ constraintLib.P	17 Oct 2009 22:10:09 -0000	1.10
@@ -31,6 +31,7 @@
 	get_attr/3,
 	put_attr/3,
 	del_attr/2,
+	install_attribute_portray_hook/3,
 	install_verify_attribute_handler/4
    from machine.
 :- import sort/2 from setof.
@@ -201,6 +202,23 @@
 
 attr_unify_hook1(_Other,[]).
 
+:- install_attribute_portray_hook(when,Attr,portray_when(Attr)).
+
+portray_when(Attr):- 
+	portray_whenlist(Attr).
+
+portray_whenlist([]).
+portray_whenlist([H]):- !,
+        portray_trigger(H).
+portray_whenlist([H|T]):- 
+        portray_trigger(H),nl,
+	portray_whenlist(T).
+
+portray_trigger(trigger_nonvar(V,Constraint)):- !,
+	    write('trigger '),write(Constraint),write(' when nonvar'(V)).
+portray_trigger(trigger_ground(V,Constraint)):- !,
+	    write('trigger '),write(Constraint),write(' when ground'(V)).
+
 call_list([]) :- !.
 
 call_list([G|Gs]) :-
@@ -429,3 +447,4 @@
 	write(' Does not have an Id assigned to it. It has not been globalized. ###'),
 	nl,
 	fail.
+