/test/lib/string/test_string15.e

http://github.com/tybor/Liberty · Specman e · 71 lines · 46 code · 4 blank · 21 comment · 0 complexity · af11e90451b0af4849212da4d1ac6e8c 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_STRING15
  5. insert
  6. EIFFELTEST_TOOLS
  7. create {}
  8. make
  9. feature {}
  10. make
  11. do
  12. assert(not ("").is_integer)
  13. assert(("153548").is_integer)
  14. assert(("2147483647").is_integer)
  15. assert(("+2147483647").is_integer)
  16. assert(not ("2147483648").is_integer)
  17. assert(not ("2247483647").is_integer)
  18. assert(not ("21474836470").is_integer)
  19. assert(not ("+21474836470").is_integer)
  20. assert(not ("30000000000").is_integer)
  21. assert(("-105240").is_integer)
  22. assert(("-2147483648").is_integer)
  23. assert(not ("-2147483649").is_integer)
  24. assert(not ("-21474836480").is_integer)
  25. assert(not ("-40000000000").is_integer)
  26. assert(not ("").is_integer_64)
  27. assert(("153548").is_integer_64)
  28. assert(("2147483647").is_integer_64)
  29. assert(("+2147483647").is_integer_64)
  30. assert(("2147483648").is_integer_64)
  31. assert(("2247483647").is_integer_64)
  32. assert(("21474836470").is_integer_64)
  33. assert(("+21474836470").is_integer_64)
  34. assert(("30000000000").is_integer_64)
  35. assert(("-105240").is_integer_64)
  36. assert(("-2147483648").is_integer_64)
  37. assert(("-2147483649").is_integer_64)
  38. assert(("-21474836480").is_integer_64)
  39. assert(("-40000000000").is_integer_64)
  40. assert(("9223372036854775807").is_integer_64)
  41. assert(("-9223372036854775808").is_integer_64)
  42. assert(not ("9223372036854775808").is_integer_64)
  43. assert(not ("-9223372036854775809").is_integer_64)
  44. assert(not ("-9300000000000000000").is_integer_64)
  45. assert(not ("9300000000000000000").is_integer_64)
  46. assert(not ("-100000000000000000000").is_integer_64)
  47. assert(not ("100000000000000000000").is_integer_64)
  48. end
  49. end -- class TEST_STRING15
  50. --
  51. -- ------------------------------------------------------------------------------------------------------------------------------
  52. -- Copyright notice below. Please read.
  53. --
  54. -- SmartEiffel is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License,
  55. -- as published by the Free Software Foundation; either version 2, or (at your option) any later version.
  56. -- SmartEiffel is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY; without even the implied warranty
  57. -- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have
  58. -- received a copy of the GNU General Public License along with SmartEiffel; see the file COPYING. If not, write to the Free
  59. -- Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
  60. --
  61. -- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P. - University of Nancy 1 - FRANCE
  62. -- Copyright(C) 2003-2006: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE
  63. --
  64. -- Authors: Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
  65. --
  66. -- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr
  67. -- ------------------------------------------------------------------------------------------------------------------------------