CVSROOT: /cvs/ppl Module name: ppl Changes by: hill@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.h... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog.i... http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_che...