[PPL-devel] [GIT] ppl/ppl(bounded_arithmetic): Fixed the name of the file Number_Conversion.cc.

[Alberto Gioia]

Module: ppl/ppl
Branch: bounded_arithmetic
Commit: 1789d7b8316e192aa49930c509c32ffe0ee47149
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1789d7b8316e192aa49930c509c32ffe0ee47149

Author: Alberto Gioia <alberto.gioi1 at studenti.unipr.it>
Date:   Thu May  5 19:41:39 2011 +0200

Fixed the name of the file Number_Conversion.cc.

---

 tests/Concrete_Expression/Number_Conversion.cc |   28 ++++++++++++++++++++++++
 tests/Concrete_Expression/linearize_integer.hh |    2 +-
 2 files changed, 29 insertions(+), 1 deletions(-)

diff --git a/tests/Concrete_Expression/Number_Conversion.cc b/tests/Concrete_Expression/Number_Conversion.cc
new file mode 100644
index 0000000..2d87e49
--- /dev/null
+++ b/tests/Concrete_Expression/Number_Conversion.cc
@@ -0,0 +1,28 @@
+void reverse(char *reversed) {
+  char tmp;
+  for (int i = 0, j = strlen(reversed)-1; i<j; i++, j--) {
+    tmp = reversed[i];
+    reversed[i] = reversed[j];
+    reversed[j] = tmp;
+  }
+}
+
+char *itoa(int number) {
+  bool neg=number<0?true:false;
+  number=number<0?-number:number;
+  int length = (int)(log10(number))+1;
+  int i=0;
+  char *s = new char[length];
+  do {
+    s[i++] = number % 10 + '0';
+  } while ((number /= 10) > 0);
+  if (neg){
+    s[i] = '-';
+    s[++i] = '\0';
+  }
+  else
+    s[i] = '\0';
+  reverse(s);
+  return s;
+}
+
diff --git a/tests/Concrete_Expression/linearize_integer.hh b/tests/Concrete_Expression/linearize_integer.hh
index c0c8bbc..7693ae2 100644
--- a/tests/Concrete_Expression/linearize_integer.hh
+++ b/tests/Concrete_Expression/linearize_integer.hh
@@ -2,7 +2,7 @@
 #define PPL_linearize_int_hh 1
 
 #include "Linear_Form.defs.hh"
-#include "Number_Convertion.cc"
+#include "Number_Conversion.cc"
 
 namespace Parma_Polyhedra_Library {