/test/lib/numeric/natural/test_natural3.e

http://github.com/tybor/Liberty · Specman e · 199 lines · 147 code · 50 blank · 2 comment · 0 complexity · 9974e5a0196e44f1b5b9522655187654 MD5 · raw file

  1. class TEST_NATURAL3
  2. inherit
  3. EIFFELTEST_TOOLS
  4. create {}
  5. main
  6. feature {}
  7. main
  8. local
  9. a8: NATURAL_8; a16: NATURAL_16; a64: NATURAL_64
  10. do
  11. a8 := 4.to_natural_8
  12. assert(1.to_natural_8 + 1.to_natural_8 + 1.to_natural_8 + 1.to_natural_8 = a8)
  13. assert(a8 + 0.to_natural_8 = a8)
  14. assert(0.to_natural_8.hexadecimal_digit = '0')
  15. assert(1.to_natural_8.hexadecimal_digit = '1')
  16. assert(2.to_natural_8.hexadecimal_digit = '2')
  17. assert(3.to_natural_8.hexadecimal_digit = '3')
  18. assert(4.to_natural_8.hexadecimal_digit = '4')
  19. assert(9.to_natural_8.hexadecimal_digit = '9')
  20. assert(10.to_natural_8.hexadecimal_digit = 'A')
  21. assert(11.to_natural_8.hexadecimal_digit = 'B')
  22. assert(15.to_natural_8.hexadecimal_digit = 'F')
  23. assert(0.to_natural_8.decimal_digit = '0')
  24. assert(1.to_natural_8.decimal_digit = '1')
  25. assert(2.to_natural_8.decimal_digit = '2')
  26. assert(3.to_natural_8.decimal_digit = '3')
  27. assert(4.to_natural_8.decimal_digit = '4')
  28. assert(9.to_natural_8.decimal_digit = '9')
  29. assert(0.to_natural_8.to_number.to_integer_32 = 0)
  30. assert(255.to_natural_8.to_number.to_integer_32 = 255)
  31. assert(32.to_natural_8.to_character = ' ')
  32. assert(2.to_natural_8.is_even)
  33. assert(1.to_natural_8.is_odd)
  34. assert(0.to_natural_8.to_string.is_equal("0"))
  35. assert(255.to_natural_8.to_string.is_equal("255"))
  36. assert(0.to_natural_8.to_unicode_string.is_equal(U"0"))
  37. assert(255.to_natural_8.to_unicode_string.is_equal(U"255"))
  38. assert(0.to_natural_8.to_integer_8.to_natural_8 = 0.to_natural_8)
  39. assert(0.to_natural_8.to_integer_16.to_natural_8 = 0.to_natural_8)
  40. assert(0.to_natural_8.to_integer_32.to_natural_8 = 0.to_natural_8)
  41. assert(0.to_natural_8.to_integer_64.to_natural_8 = 0.to_natural_8)
  42. assert(1.to_natural_8.to_integer_8.to_natural_8 = 1.to_natural_8)
  43. assert(1.to_natural_8.to_integer_16.to_natural_8 = 1.to_natural_8)
  44. assert(1.to_natural_8.to_integer_32.to_natural_8 = 1.to_natural_8)
  45. assert(1.to_natural_8.to_integer_64.to_natural_8 = 1.to_natural_8)
  46. assert(127.to_natural_8.to_integer_8.to_natural_8 = 127.to_natural_8)
  47. assert(255.to_natural_8.to_integer_16.to_natural_8 = 255.to_natural_8)
  48. assert(255.to_natural_8.to_integer_32.to_natural_8 = 255.to_natural_8)
  49. assert(255.to_natural_8.to_integer_64.to_natural_8 = 255.to_natural_8)
  50. assert(0.to_natural_8 < 255.to_natural_8)
  51. assert(0.to_natural_8 <= 255.to_natural_8)
  52. assert(255.to_natural_8 <= 255.to_natural_8)
  53. assert(255.to_natural_8 > 0.to_natural_8)
  54. assert(255.to_natural_8 >= 0.to_natural_8)
  55. assert(255.to_natural_8 >= 255.to_natural_8)
  56. -- -------------------------------------------------------------
  57. a16 := 4.to_natural_16
  58. assert(1.to_natural_16 + 1.to_natural_16 + 1.to_natural_16 + 1.to_natural_16 = a16)
  59. assert(a16 + 0.to_natural_16 = a16)
  60. assert(0.to_natural_16.hexadecimal_digit = '0')
  61. assert(1.to_natural_16.hexadecimal_digit = '1')
  62. assert(2.to_natural_16.hexadecimal_digit = '2')
  63. assert(3.to_natural_16.hexadecimal_digit = '3')
  64. assert(4.to_natural_16.hexadecimal_digit = '4')
  65. assert(9.to_natural_16.hexadecimal_digit = '9')
  66. assert(10.to_natural_16.hexadecimal_digit = 'A')
  67. assert(11.to_natural_16.hexadecimal_digit = 'B')
  68. assert(15.to_natural_16.hexadecimal_digit = 'F')
  69. assert(0.to_natural_16.decimal_digit = '0')
  70. assert(1.to_natural_16.decimal_digit = '1')
  71. assert(2.to_natural_16.decimal_digit = '2')
  72. assert(3.to_natural_16.decimal_digit = '3')
  73. assert(4.to_natural_16.decimal_digit = '4')
  74. assert(9.to_natural_16.decimal_digit = '9')
  75. assert(0.to_natural_16.to_number.to_integer_32 = 0)
  76. assert(255.to_natural_16.to_number.to_integer_32 = 255)
  77. assert(32.to_natural_16.to_character = ' ')
  78. assert(2.to_natural_16.is_even)
  79. assert(1.to_natural_16.is_odd)
  80. assert(0.to_natural_16.to_string.is_equal("0"))
  81. assert(255.to_natural_16.to_string.is_equal("255"))
  82. assert(0.to_natural_16.to_unicode_string.is_equal(U"0"))
  83. assert(255.to_natural_16.to_unicode_string.is_equal(U"255"))
  84. assert(0.to_natural_16.to_integer_8.to_natural_16 = 0.to_natural_16)
  85. assert(0.to_natural_16.to_integer_16.to_natural_16 = 0.to_natural_16)
  86. assert(0.to_natural_16.to_integer_32.to_natural_16 = 0.to_natural_16)
  87. assert(0.to_natural_16.to_integer_64.to_natural_16 = 0.to_natural_16)
  88. assert(1.to_natural_16.to_integer_8.to_natural_16 = 1.to_natural_16)
  89. assert(1.to_natural_16.to_integer_16.to_natural_16 = 1.to_natural_16)
  90. assert(1.to_natural_16.to_integer_32.to_natural_16 = 1.to_natural_16)
  91. assert(1.to_natural_16.to_integer_64.to_natural_16 = 1.to_natural_16)
  92. assert(127.to_natural_16.to_integer_8.to_natural_16 = 127.to_natural_16)
  93. assert(255.to_natural_16.to_integer_16.to_natural_16 = 255.to_natural_16)
  94. assert(255.to_natural_16.to_integer_32.to_natural_16 = 255.to_natural_16)
  95. assert(255.to_natural_16.to_integer_64.to_natural_16 = 255.to_natural_16)
  96. assert(0.to_natural_16 < 255.to_natural_16)
  97. assert(0.to_natural_16 <= 255.to_natural_16)
  98. assert(255.to_natural_16 <= 255.to_natural_16)
  99. assert(255.to_natural_16 > 0.to_natural_16)
  100. assert(255.to_natural_16 >= 0.to_natural_16)
  101. assert(255.to_natural_16 >= 255.to_natural_16)
  102. -- -------------------------------------------------------------
  103. a64 := 4.to_natural_64
  104. assert(1.to_natural_64 + 1.to_natural_64 + 1.to_natural_64 + 1.to_natural_64 = a64)
  105. assert(a64 + 0.to_natural_64 = a64)
  106. assert(0.to_natural_64.hexadecimal_digit = '0')
  107. assert(1.to_natural_64.hexadecimal_digit = '1')
  108. assert(2.to_natural_64.hexadecimal_digit = '2')
  109. assert(3.to_natural_64.hexadecimal_digit = '3')
  110. assert(4.to_natural_64.hexadecimal_digit = '4')
  111. assert(9.to_natural_64.hexadecimal_digit = '9')
  112. assert(10.to_natural_64.hexadecimal_digit = 'A')
  113. assert(11.to_natural_64.hexadecimal_digit = 'B')
  114. assert(15.to_natural_64.hexadecimal_digit = 'F')
  115. assert(0.to_natural_64.decimal_digit = '0')
  116. assert(1.to_natural_64.decimal_digit = '1')
  117. assert(2.to_natural_64.decimal_digit = '2')
  118. assert(3.to_natural_64.decimal_digit = '3')
  119. assert(4.to_natural_64.decimal_digit = '4')
  120. assert(9.to_natural_64.decimal_digit = '9')
  121. assert(0.to_natural_64.to_number.to_integer_32 = 0)
  122. assert(255.to_natural_64.to_number.to_integer_32 = 255)
  123. assert(32.to_natural_64.to_character = ' ')
  124. assert(2.to_natural_64.is_even)
  125. assert(1.to_natural_64.is_odd)
  126. assert(0.to_natural_64.to_string.is_equal("0"))
  127. assert(255.to_natural_64.to_string.is_equal("255"))
  128. assert(0.to_natural_64.to_unicode_string.is_equal(U"0"))
  129. assert(255.to_natural_64.to_unicode_string.is_equal(U"255"))
  130. assert(0.to_natural_64.to_integer_8.to_natural_64 = 0.to_natural_64)
  131. assert(0.to_natural_64.to_integer_64.to_natural_64 = 0.to_natural_64)
  132. assert(0.to_natural_64.to_integer_32.to_natural_64 = 0.to_natural_64)
  133. assert(0.to_natural_64.to_integer_64.to_natural_64 = 0.to_natural_64)
  134. assert(1.to_natural_64.to_integer_8.to_natural_64 = 1.to_natural_64)
  135. assert(1.to_natural_64.to_integer_64.to_natural_64 = 1.to_natural_64)
  136. assert(1.to_natural_64.to_integer_32.to_natural_64 = 1.to_natural_64)
  137. assert(1.to_natural_64.to_integer_64.to_natural_64 = 1.to_natural_64)
  138. assert(127.to_natural_64.to_integer_8.to_natural_64 = 127.to_natural_64)
  139. assert(255.to_natural_64.to_integer_64.to_natural_64 = 255.to_natural_64)
  140. assert(255.to_natural_64.to_integer_32.to_natural_64 = 255.to_natural_64)
  141. assert(255.to_natural_64.to_integer_64.to_natural_64 = 255.to_natural_64)
  142. assert(0.to_natural_64 < 255.to_natural_64)
  143. assert(0.to_natural_64 <= 255.to_natural_64)
  144. assert(255.to_natural_64 <= 255.to_natural_64)
  145. assert(255.to_natural_64 > 0.to_natural_64)
  146. assert(255.to_natural_64 >= 0.to_natural_64)
  147. assert(255.to_natural_64 >= 255.to_natural_64)
  148. end
  149. end