[PPL-devel] [GIT] ppl/ppl(master): Made several exception thrower methods static.

[Enea Zaffanella]

Module: ppl/ppl
Branch: master
Commit: 717a18d0a06e1a32a36c31896d4cb055015717e4
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=717a18d0a06e1a32a36c31896d4cb055015717e4

Author: Enea Zaffanella <zaffanella at cs.unipr.it>
Date:   Wed Apr  4 11:31:59 2012 +0200

Made several exception thrower methods static.
Renamed throw_generic() as throw_invalid_argument() for consistency.
In generalized_affine_{pre}image(), systematically throw an invalid
argument exception if relsym == NOT_EQUAL.
Corrected several inaccuracies in exception error messages.

---

 src/BD_Shape.defs.hh             |    2 +-
 src/BD_Shape.inlines.hh          |    8 +-
 src/BD_Shape.templates.hh        |  105 ++++++++++++++----------------
 src/Box.defs.hh                  |    2 +-
 src/Box.inlines.hh               |    6 +-
 src/Box.templates.hh             |   53 ++++++++-------
 src/Grid.defs.hh                 |   20 +++---
 src/Grid_nonpublic.cc            |   11 ++--
 src/Grid_public.cc               |   40 ++++++++----
 src/Octagonal_Shape.defs.hh      |    8 +-
 src/Octagonal_Shape.inlines.hh   |    8 +-
 src/Octagonal_Shape.templates.hh |  134 ++++++++++++++++++++++---------------
 src/Polyhedron_public.cc         |    8 +-
 13 files changed, 221 insertions(+), 184 deletions(-)

Diff:   http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commitdiff;h=717a18d0a06e1a32a36c31896d4cb055015717e4