CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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