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

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-04-23 16:21:25

Modified files:
	interfaces     : 
	                 ppl_interface_generator_common_procedure_generators.m4 
	interfaces/C   : ppl_interface_generator_c_cc_code.m4 
	                 ppl_interface_generator_c_h_code.m4 
	interfaces/Java/jni: 
	                     ppl_interface_generator_java_ppl_java_classes_cc_code.m4 
	                     ppl_java_common.cc 
	interfaces/Java/ppl_java: 
	                          ppl_interface_generator_java_classes_java_code.m4 
	interfaces/Java/tests: 
	                       ppl_interface_generator_java_test_java_code.m4 
	interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 
	                  ppl_interface_generator_ocaml_ml_code.m4 
	                  ppl_interface_generator_ocaml_mli_code.m4 
	interfaces/Prolog: ppl_interface_generator_prolog_icc_code.m4 
	interfaces/Prolog/tests: 
	                         ppl_interface_generator_predicate_check_code.m4 
	                         ppl_predicate_check_common.pl 

Log message:
	Added to all the interfaces the unconstrain() procedure.
	
	Added (except to the C interface which already had it)
	the constrains() procedure.
	
	Added to the Prolog interface the option of building from
	a friend with complexity specified.
	
	Tests added for all new code in the Prolog and Java interfaces.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/ppl_interface_generator_common_procedure_generators.m4.diff?cvsroot=ppl&r1=1.18&r2=1.19
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_cc_code.m4.diff?cvsroot=ppl&r1=1.32&r2=1.33
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_interface_generator_c_h_code.m4.diff?cvsroot=ppl&r1=1.22&r2=1.23
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_ppl_java_classes_cc_code.m4.diff?cvsroot=ppl&r1=1.48&r2=1.49
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_common.cc.diff?cvsroot=ppl&r1=1.37&r2=1.38
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/ppl_interface_generator_java_classes_java_code.m4.diff?cvsroot=ppl&r1=1.42&r2=1.43
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_interface_generator_java_test_java_code.m4.diff?cvsroot=ppl&r1=1.28&r2=1.29
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_cc_code.m4.diff?cvsroot=ppl&r1=1.30&r2=1.31
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_ml_code.m4.diff?cvsroot=ppl&r1=1.25&r2=1.26
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interface_generator_ocaml_mli_code.m4.diff?cvsroot=ppl&r1=1.19&r2=1.20
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_interface_generator_prolog_icc_code.m4.diff?cvsroot=ppl&r1=1.65&r2=1.66
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.74&r2=1.75
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/ppl_predicate_check_common.pl.diff?cvsroot=ppl&r1=1.10&r2=1.11