[PPL-devel] ppl/interfaces/Java ppl_interface_generator_ja ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2008-09-19 13:15:13

Modified files:
	interfaces/Java: 
	                 ppl_interface_generator_java_procedure_generators.m4 
	interfaces/Java/jni: 
	                     ppl_interface_generator_java_classes_cc_code.m4 
	                     ppl_interface_generator_java_classes_cc_files.m4 
	interfaces/Java/parma_polyhedra_library: 
	                                         ppl_interface_generator_java_classes_java.m4 
	                                         ppl_interface_generator_java_classes_java_code.m4 
	interfaces/Java/tests: 
	                       ppl_interface_generator_java_test_java_code.m4 
	                       ppl_java_tests_common 

Log message:
	Added m4 debug code so as to output a message if the definition
	of a schematic procedure is missing.
	
	Added code for several missing methods:
	add_disjunct
	widening_assign
	@EXTRAPOLATION at _extrapolation_assign
	
	Corrected a bug in the code for
	@LIMITEDBOUNDED at _@WIDENEXPN at _extrapolation_assign
	where the arguments were inconsistently ordered.
	
	Added several tests for the widening and extrapolation code.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_interface_generator_java_procedure_generators.m4.diff?cvsroot=ppl&r1=1.7&r2=1.8
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_code.m4.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_interface_generator_java_classes_cc_files.m4.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java.m4.diff?cvsroot=ppl&r1=1.3&r2=1.4
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhedra_library/ppl_interface_generator_java_classes_java_code.m4.diff?cvsroot=ppl&r1=1.2&r2=1.3
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.35&r2=1.36
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_java_tests_common.diff?cvsroot=ppl&r1=1.9&r2=1.10