[PPL-devel] ppl/interfaces ppl_interface_generator_common. ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-01-21 22:01:16

Modified files:
	interfaces     : ppl_interface_generator_common.m4 
	interfaces/Prolog/Ciao: Makefile.am 
	                        ppl_interface_generator_ciao_predicate_check_pl.m4 
	interfaces/Prolog/SICStus: Makefile.am sp_predicate_check.pl 
	interfaces/Prolog/SWI: Makefile.am swi_predicate_check.pl 
	interfaces/Prolog/XSB: Makefile.am 
	                       ppl_interface_generator_xsb_predicate_check_P.m4 
	interfaces/Prolog/tests: Makefile.am 
	                         ppl_interface_generator_predicate_check_code.m4 
	                         ppl_interface_generator_predicate_check_pl.m4 
	                         ppl_predicate_check_common.pl 

Log message:
	The tests for all the interfaces predicates that are generated and
	were placed in ppl_predicate_check.pl are now generated and split into
	a number of files; the top-level one is ppl_predicate_test_main.pl and
	the rest have a name of the form
	
	ppl_predicate_test_CLASS.pl
	
	where CLASS is the name of an interface class (there is just one file
	"ppl_predicate_test_Polyhedron.pl" for both the C_Polyhedron and
	NNC_Polyhedron domains.
	
	This resolves a problem when checking the interface predicates for XSB
	with more than 3 classes where the large generated file caused an
	error to be thrown.
	
	This change has been tested on SWI Prolog, SICStus, XSB and Ciao
	Prolog with up to 4 (5 if we count C_Polyhedron and NNC_Polyhedron
	separately) different interface classes.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common.m4.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/Makefile.am.diff?cvsroot=ppl&r1=1.68&r2=1.69
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_interface_generator_ciao_predicate_check_pl.m4.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/Makefile.am.diff?cvsroot=ppl&r1=1.80&r2=1.81
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sp_predicate_check.pl.diff?cvsroot=ppl&r1=1.6&r2=1.7
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/Makefile.am.diff?cvsroot=ppl&r1=1.78&r2=1.79
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/swi_predicate_check.pl.diff?cvsroot=ppl&r1=1.5&r2=1.6
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/Makefile.am.diff?cvsroot=ppl&r1=1.57&r2=1.58
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/XSB/ppl_interface_generator_xsb_predicate_check_P.m4.diff?cvsroot=ppl&r1=1.8&r2=1.9
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/Makefile.am.diff?cvsroot=ppl&r1=1.17&r2=1.18
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_code.m4.diff?cvsroot=ppl&r1=1.61&r2=1.62
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_interface_generator_predicate_check_pl.m4.diff?cvsroot=ppl&r1=1.30&r2=1.31
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_predicate_check_common.pl.diff?cvsroot=ppl&r1=1.8&r2=1.9