Module: ppl/ppl Branch: floating_point Commit: 18e281994a302d502b23daa72e206b3c6772895a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18e281994a302...

Author: Fabio Bossi bossi@cs.unipr.it Date: Mon Sep 21 11:37:51 2009 +0200

Use the proper exception thrower. Moved the new exception thrower.

---

src/Polyhedron.templates.hh | 10 +++++++++- src/Polyhedron_nonpublic.cc | 8 -------- 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/Polyhedron.templates.hh b/src/Polyhedron.templates.hh index 469672a..9f4f333 100644 --- a/src/Polyhedron.templates.hh +++ b/src/Polyhedron.templates.hh @@ -316,7 +316,7 @@ const std::map< dimension_type, Interval<FP_Format, Interval_Info> >& store) { // `var' should be one of the dimensions of the polyhedron. const dimension_type var_id = var.id(); if (space_dim < var_id + 1) - throw_dimension_incompatible("affine_image(v, l, s)", var.id()+1); + throw_dimension_incompatible("affine_image(v, l, s)", "v", var);

// We suppose that the analyzer will not filter an unreachable test. PPL_ASSERT(!marked_empty()); @@ -498,6 +498,14 @@ Polyhedron::convert_to_integer_expressions( res_hi_coeff = Coefficient(0); }

+template <typename C> +void +Polyhedron::throw_dimension_incompatible(const char* method, + const char* lf_name, + const Linear_Form<C>& lf) const { + throw_dimension_incompatible(method, lf_name, lf.space_dimension()); +} + } // namespace Parma_Polyhedra_Library

#endif // !defined(PPL_Polyhedron_templates_hh) diff --git a/src/Polyhedron_nonpublic.cc b/src/Polyhedron_nonpublic.cc index 63ceb2a..29d5f7a 100644 --- a/src/Polyhedron_nonpublic.cc +++ b/src/Polyhedron_nonpublic.cc @@ -2232,14 +2232,6 @@ PPL::Polyhedron::throw_dimension_incompatible(const char* method, throw_dimension_incompatible(method, cgs_name, cgs.space_dimension()); }

-template <typename C> -void -PPL::Polyhedron::throw_dimension_incompatible(const char* method, - const char* lf_name, - const Linear_Form<C>& lf) const { - throw_dimension_incompatible(method, lf_name, lf.space_dimension()); -} - void PPL::Polyhedron::throw_dimension_incompatible(const char* method, const char* var_name,