[PPL-devel] [GIT] ppl/ppl(floating_point): Use the proper exception thrower.

[Fabio Bossi]

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

Author: Fabio Bossi <bossi at 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,