/test/lib/numeric/mutable_big_integer/test_mutable_big_integer5.e

http://github.com/tybor/Liberty · Specman e · 182 lines · 146 code · 7 blank · 29 comment · 5 complexity · 279a539bf70e8d6367700aab5c0ecb0c MD5 · raw file

  1. -- This file is part of SmartEiffel The GNU Eiffel Compiler Tools and Libraries.
  2. -- See the Copyright notice at the end of this file.
  3. --
  4. class TEST_MUTABLE_BIG_INTEGER5
  5. --
  6. -- Testing comparison.
  7. --
  8. insert
  9. ANY
  10. PLATFORM
  11. create {}
  12. make
  13. feature {ANY}
  14. make
  15. do
  16. check_compare(1, 2)
  17. --
  18. check_compare(0, 0)
  19. check_compare(1, 0)
  20. check_compare(1, 1)
  21. check_compare(2, 0)
  22. check_compare(2, 1)
  23. check_compare(3, 0)
  24. check_compare(3, 1)
  25. check_compare(3, 2)
  26. check_compare(3, 3)
  27. check_compare(Maximum_integer - 3, 0)
  28. check_compare(Maximum_integer - 3, 1)
  29. check_compare(Maximum_integer - 3, 2)
  30. check_compare(Maximum_integer - 3, 3)
  31. check_compare(Maximum_integer, 0)
  32. check_compare(Maximum_integer, 1)
  33. check_compare(Maximum_integer, 2)
  34. check_compare(Maximum_integer, 3)
  35. check_compare(Maximum_integer, Maximum_integer.to_integer_64)
  36. check_compare(Maximum_integer, Maximum_integer.to_integer_64 + 1)
  37. check_compare(Maximum_integer, Maximum_integer.to_integer_64 + 2)
  38. check_compare(Maximum_integer, Maximum_integer.to_integer_64 + 3)
  39. check_compare(Maximum_integer, Maximum_integer.to_integer_64 + 4)
  40. check_compare(Maximum_integer_64 - 3, 0)
  41. check_compare(Maximum_integer_64 - 3, 1)
  42. check_compare(Maximum_integer_64 - 3, 2)
  43. check_compare(Maximum_integer_64 - 3, 3)
  44. check_compare(Maximum_integer_64, 1)
  45. check_compare(Maximum_integer_64, Maximum_integer_64)
  46. end
  47. count: INTEGER
  48. assert (b: BOOLEAN)
  49. do
  50. count := count + 1
  51. if not b then
  52. sedb_breakpoint
  53. io.put_string("TEST_MUTABLE_BIG_INTEGER5 : ERROR Test # ")
  54. io.put_integer(count)
  55. io.put_string("%N")
  56. end
  57. end
  58. check_compare (a, b: INTEGER_64)
  59. local
  60. c, d: INTEGER_64; mbia, mbib: MUTABLE_BIG_INTEGER
  61. do
  62. --
  63. create mbia.from_integer_64(a)
  64. create mbib.from_integer_64(b)
  65. if a < b then
  66. assert(mbia < mbib)
  67. assert(mbia <= mbib)
  68. assert(mbib > mbia)
  69. assert(mbib >= mbia)
  70. assert(not mbia.is_equal(mbib))
  71. elseif b < a then
  72. assert(mbib < mbia)
  73. assert(mbib <= mbia)
  74. assert(mbia > mbib)
  75. assert(mbia >= mbib)
  76. assert(not mbia.is_equal(mbib))
  77. else
  78. assert(not (mbib < mbia))
  79. assert(mbib >= mbia)
  80. assert(not (mbia > mbib))
  81. assert(mbia <= mbib)
  82. assert(mbia.is_equal(mbib))
  83. end
  84. --
  85. c := -a
  86. d := b
  87. create mbia.from_integer_64(c)
  88. create mbib.from_integer_64(d)
  89. if c < d then
  90. assert(mbia < mbib)
  91. assert(mbia <= mbib)
  92. assert(mbib > mbia)
  93. assert(mbib >= mbia)
  94. assert(not mbia.is_equal(mbib))
  95. elseif d < c then
  96. assert(mbib < mbia)
  97. assert(mbib <= mbia)
  98. assert(mbia > mbib)
  99. assert(mbia >= mbib)
  100. assert(not mbia.is_equal(mbib))
  101. else
  102. assert(not (mbib < mbia))
  103. assert(mbib >= mbia)
  104. assert(not (mbia > mbib))
  105. assert(mbia <= mbib)
  106. assert(mbia.is_equal(mbib))
  107. end
  108. --
  109. c := a
  110. d := -b
  111. create mbia.from_integer_64(c)
  112. create mbib.from_integer_64(d)
  113. if c < d then
  114. assert(mbia < mbib)
  115. assert(mbia <= mbib)
  116. assert(mbib > mbia)
  117. assert(mbib >= mbia)
  118. assert(not mbia.is_equal(mbib))
  119. elseif d < c then
  120. assert(mbib < mbia)
  121. assert(mbib <= mbia)
  122. assert(mbia > mbib)
  123. assert(mbia >= mbib)
  124. assert(not mbia.is_equal(mbib))
  125. else
  126. assert(not (mbib < mbia))
  127. assert(mbib >= mbia)
  128. assert(not (mbia > mbib))
  129. assert(mbia <= mbib)
  130. assert(mbia.is_equal(mbib))
  131. end
  132. --
  133. c := -a
  134. d := -b
  135. create mbia.from_integer_64(c)
  136. create mbib.from_integer_64(d)
  137. if c < d then
  138. assert(mbia < mbib)
  139. assert(mbia <= mbib)
  140. assert(mbib > mbia)
  141. assert(mbib >= mbia)
  142. assert(not mbia.is_equal(mbib))
  143. elseif d < c then
  144. assert(mbib < mbia)
  145. assert(mbib <= mbia)
  146. assert(mbia > mbib)
  147. assert(mbia >= mbib)
  148. assert(not mbia.is_equal(mbib))
  149. else
  150. assert(not (mbib < mbia))
  151. assert(mbib >= mbia)
  152. assert(not (mbia > mbib))
  153. assert(mbia <= mbib)
  154. assert(mbia.is_equal(mbib))
  155. end
  156. end
  157. end -- class TEST_MUTABLE_BIG_INTEGER5
  158. --
  159. -- ------------------------------------------------------------------------------------------------------------------------------
  160. -- Copyright notice below. Please read.
  161. --
  162. -- SmartEiffel is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License,
  163. -- as published by the Free Software Foundation; either version 2, or (at your option) any later version.
  164. -- SmartEiffel is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY; without even the implied warranty
  165. -- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have
  166. -- received a copy of the GNU General Public License along with SmartEiffel; see the file COPYING. If not, write to the Free
  167. -- Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
  168. --
  169. -- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P. - University of Nancy 1 - FRANCE
  170. -- Copyright(C) 2003-2006: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE
  171. --
  172. -- Authors: Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
  173. --
  174. -- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr
  175. -- ------------------------------------------------------------------------------------------------------------------------------