Module: ppl/ppl Branch: master Commit: 93bbf657068ab68e114336684eef87f7a6ce787c URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=93bbf657068ab...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 26 14:19:28 2012 +0100
`#error' messages made consistent.
---
demos/ppl_lcdd/ppl_lcdd.cc | 2 +- demos/ppl_pips/ppl_pips.cc | 2 +- fedora/ppl.hh | 2 +- fedora/ppl_c.h | 2 +- fedora/pwl.hh | 2 +- src/BDS_Status.idefs.hh | 2 +- src/Box_Status.idefs.hh | 2 +- src/Float.defs.hh | 6 +++--- src/Grid_Status.idefs.hh | 2 +- src/Og_Status.idefs.hh | 2 +- src/Ph_Status.idefs.hh | 2 +- src/fpu.defs.hh | 2 +- 12 files changed, 14 insertions(+), 14 deletions(-)
diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index e30de0e..71f22a4 100644 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -30,7 +30,7 @@ site: http://bugseng.com/products/ppl/ . */ (defined(USE_PPL) && defined(USE_POLKA)) \ || (defined(USE_PPL) && defined(USE_POLYLIB)) \ || (defined(USE_POLKA) && defined(USE_POLYLIB)) -#error "Exactly one among USE_PPL, USE_POLKA and USE_POLYLIB must be defined." +#error "Exactly one among USE_PPL, USE_POLKA and USE_POLYLIB must be defined" #endif
#if defined(USE_PPL) diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index 291a6dd..a3d27d7 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -26,7 +26,7 @@ site: http://bugseng.com/products/ppl/ . */ #if (!defined(USE_PPL) && !defined(USE_PIPLIB)) #define USE_PPL 1 #elif (defined(USE_PPL) && defined(USE_PIPLIB)) -#error "Exactly one among USE_PPL and USE_PIPLIB must be defined." +#error "Exactly one among USE_PPL and USE_PIPLIB must be defined" #endif
#if defined(USE_PPL) diff --git a/fedora/ppl.hh b/fedora/ppl.hh index b5dbb62..9acdaa8 100644 --- a/fedora/ppl.hh +++ b/fedora/ppl.hh @@ -46,5 +46,5 @@ site: http://bugseng.com/products/ppl/ . */ #elif defined(__sparc__) #include "ppl-sparc.hh" #else -#error "This architecture is not supported by the currently installed ppl-devel packages." +#error "This architecture is not supported by the currently installed ppl-devel packages" #endif diff --git a/fedora/ppl_c.h b/fedora/ppl_c.h index 6132279..23b9617 100644 --- a/fedora/ppl_c.h +++ b/fedora/ppl_c.h @@ -46,5 +46,5 @@ site: http://bugseng.com/products/ppl/ . */ #elif defined(__sparc__) #include "ppl_c-sparc.h" #else -#error "This architecture is not supported by the currently installed ppl-devel packages." +#error "This architecture is not supported by the currently installed ppl-devel packages" #endif diff --git a/fedora/pwl.hh b/fedora/pwl.hh index c468ed7..6ec04b9 100644 --- a/fedora/pwl.hh +++ b/fedora/pwl.hh @@ -46,5 +46,5 @@ site: http://www.cs.unipr.it/Software/ . */ #elif defined(__sparc__) #include "pwl-sparc.hh" #else -#error "This architecture is not supported by the currently installed ppl-pwl-devel packages." +#error "This architecture is not supported by the currently installed ppl-pwl-devel packages" #endif diff --git a/src/BDS_Status.idefs.hh b/src/BDS_Status.idefs.hh index ad25156..cfe2580 100644 --- a/src/BDS_Status.idefs.hh +++ b/src/BDS_Status.idefs.hh @@ -25,7 +25,7 @@ site: http://bugseng.com/products/ppl/ . */ #define PPL_BDS_Status_idefs_hh 1
#ifndef PPL_IN_BD_Shape_CLASS -#error "Do not include BDS_Status.idefs.hh directly; use BD_Shape.defs.hh instead." +#error "Do not include BDS_Status.idefs.hh directly; use BD_Shape.defs.hh instead" #endif
//! A conjunctive assertion about a BD_Shape<T> object. diff --git a/src/Box_Status.idefs.hh b/src/Box_Status.idefs.hh index 3455232..c0dc5e6 100644 --- a/src/Box_Status.idefs.hh +++ b/src/Box_Status.idefs.hh @@ -25,7 +25,7 @@ site: http://bugseng.com/products/ppl/ . */ #define PPL_Box_Status_idefs_hh 1
#ifndef PPL_IN_Box_CLASS -#error "Do not include Box_Status.idefs.hh directly; use Box.defs.hh instead." +#error "Do not include Box_Status.idefs.hh directly; use Box.defs.hh instead" #endif
//! A conjunctive assertion about a Box<ITV> object. diff --git a/src/Float.defs.hh b/src/Float.defs.hh index c34de63..9d177c4 100644 --- a/src/Float.defs.hh +++ b/src/Float.defs.hh @@ -295,7 +295,7 @@ public: #elif PPL_CXX_FLOAT_BINARY_FORMAT == PPL_FLOAT_INTEL_DOUBLE_EXTENDED typedef float_intel_double_extended Binary; #else -#error "invalid value for PPL_CXX_FLOAT_BINARY_FORMAT" +#error "Invalid value for PPL_CXX_FLOAT_BINARY_FORMAT" #endif union { float number; @@ -324,7 +324,7 @@ public: #elif PPL_CXX_DOUBLE_BINARY_FORMAT == PPL_FLOAT_INTEL_DOUBLE_EXTENDED typedef float_intel_double_extended Binary; #else -#error "invalid value for PPL_CXX_DOUBLE_BINARY_FORMAT" +#error "Invalid value for PPL_CXX_DOUBLE_BINARY_FORMAT" #endif union { double number; @@ -353,7 +353,7 @@ public: #elif PPL_CXX_LONG_DOUBLE_BINARY_FORMAT == PPL_FLOAT_INTEL_DOUBLE_EXTENDED typedef float_intel_double_extended Binary; #else -#error "invalid value for PPL_CXX_LONG_DOUBLE_BINARY_FORMAT" +#error "Invalid value for PPL_CXX_LONG_DOUBLE_BINARY_FORMAT" #endif union { long double number; diff --git a/src/Grid_Status.idefs.hh b/src/Grid_Status.idefs.hh index cf4e1db..2c94896 100644 --- a/src/Grid_Status.idefs.hh +++ b/src/Grid_Status.idefs.hh @@ -25,7 +25,7 @@ site: http://bugseng.com/products/ppl/ . */ #define PPL_Grid_Status_idefs_hh 1
#ifndef PPL_IN_Grid_CLASS -#error "Do not include Grid_Status.idefs.hh directly; use Grid.defs.hh instead." +#error "Do not include Grid_Status.idefs.hh directly; use Grid.defs.hh instead" #endif
//! A conjunctive assertion about a grid. diff --git a/src/Og_Status.idefs.hh b/src/Og_Status.idefs.hh index c1db1db..007c3cb 100644 --- a/src/Og_Status.idefs.hh +++ b/src/Og_Status.idefs.hh @@ -25,7 +25,7 @@ site: http://bugseng.com/products/ppl/ . */ #define PPL_Og_Status_idefs_hh 1
#ifndef PPL_IN_Octagonal_Shape_CLASS -#error "Do not include Og_Status.idefs.hh directly; use Octagonal_Shape.defs.hh instead." +#error "Do not include Og_Status.idefs.hh directly; use Octagonal_Shape.defs.hh instead" #endif
//! A conjunctive assertion about a Octagonal_Shape<T> object. diff --git a/src/Ph_Status.idefs.hh b/src/Ph_Status.idefs.hh index 5c5a522..dcbe38c 100644 --- a/src/Ph_Status.idefs.hh +++ b/src/Ph_Status.idefs.hh @@ -25,7 +25,7 @@ site: http://bugseng.com/products/ppl/ . */ #define PPL_Status_idefs_hh 1
#ifndef PPL_IN_Polyhedron_CLASS -#error "Do not include Ph_Status.idefs.hh directly; use Polyhedron.defs.hh instead." +#error "Do not include Ph_Status.idefs.hh directly; use Polyhedron.defs.hh instead" #endif
//! A conjunctive assertion about a polyhedron. diff --git a/src/fpu.defs.hh b/src/fpu.defs.hh index b1933a6..d2a4e12 100644 --- a/src/fpu.defs.hh +++ b/src/fpu.defs.hh @@ -87,7 +87,7 @@ fpu_check_inexact(); #elif defined(PPL_HAVE_FENV_H) #include "fpu-c99.inlines.hh" #else -#error "PPL_CAN_CONTROL_FPU evaluates to true, but why?" +#error "PPL_CAN_CONTROL_FPU evaluates to true: why?" #endif
#else // !PPL_CAN_CONTROL_FPU