[PPL-devel] ppl/interfaces/Prolog exceptions.hh ppl_prolog ...

[Patricia Hill]

CVSROOT:	/cvs/ppl
Module name:	ppl
Changes by:	hill at cs.unipr.it	2005-09-21 16:27:14

Modified files:
	interfaces/Prolog: exceptions.hh ppl_prolog.icc 
	interfaces/Prolog/tests: pl_check.pl 

Log message:
	All Prolog interface predicates expecting a list as input from the
	user now throw an exception if the list is not nil terminated.  (This
	could be a list of constraints, generators, intervals, dimensiona or
	dimension maps)
	
	That is interface predicates:
	ppl_new_Polyhedron_from_constraints
	ppl_new_Polyhedron_from_generators
	ppl_new_Polyhedron_from_bounding_box
	ppl_Polyhedron_add_constraints
	ppl_Polyhedron_add_constraints_and_minimize
	ppl_Polyhedron_add_generators
	ppl_Polyhedron_add_generators_and_minimize
	ppl_Polyhedron_limited_H79_extrapolation_assign
	ppl_Polyhedron_limited_H79_extrapolation_assign_with_token
	ppl_Polyhedron_bounded_H79_extrapolation_assign
	ppl_Polyhedron_bounded_H79_extrapolation_assign_with_token
	ppl_Polyhedron_limited_BHRZ03_extrapolation_assign
	ppl_Polyhedron_limited_BHRZ03_extrapolation_assign_with_token
	ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign
	ppl_Polyhedron_bounded_BHRZ03_extrapolation_assign_with_token
	ppl_Polyhedron_remove_space_dimensions
	ppl_Polyhedron_fold_space_dimensions
	ppl_Polyhedron_map_space_dimensions
	
	class not_a_nil_terminated_list added to exception.hh.
	
	Code for throwing an exception added to ppl_prolog.icc
	Exception thrown for not nil terminating input lists for each of the above.
	Also indentation of code improved.
	
	Tests for not nil terminating list exceptions, for each of the above
	predicates, added to pl_check.pl.
	Old tests for prolog failure when list is not nil terminated removed.
	Some tests in pl_check.pl reordered.

Patches:
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/exceptions.hh.diff?cvsroot=ppl&r1=1.16&r2=1.17
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.icc.diff?cvsroot=ppl&r1=1.160&r2=1.161
http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_check.pl.diff?cvsroot=ppl&r1=1.10&r2=1.11