/test/language/unclassified/alg/test_alg10.e

http://github.com/tybor/Liberty · Specman e · 57 lines · 29 code · 6 blank · 22 comment · 3 complexity · 9d7f37c22d9878a470c6665e87b9be62 MD5 · raw file 

    

  1. -- This file is part of SmartEiffel The GNU Eiffel Compiler Tools and Libraries.
    2. 

  2. -- See the Copyright notice at the end of this file.
    3. 

  3. --
    4. 

  4. class TEST_ALG10
    5. 

  5.    -- From a bug report of Alain Le Guennec <Alain.Le_Guennec@irisa.fr>
    6. 

  6. 

  7. create {}
    8. 

  8.    make
    9. 

  9. 

  10. feature {ANY} -- Essayer de compiler avec c2c en -debug_check ....
    11. 

  11.    do_nothing
    12. 

  12.       do
    13. 

  13.       end
    14. 

  14. 

  15.    make
    16. 

  16.       do
    17. 

  17.          make1
    18. 

  18.          make2
    19. 

  19.       end
    20. 

  20. 

  21.    make1
    22. 

  22.       local
    23. 

  23.          i: INTEGER
    24. 

  24.       do
    25. 

  25.          if False or else i = 10 then
    26. 

  26.             do_nothing
    27. 

  27.          end
    28. 

  28.       end
    29. 

  29. 

  30.    make2
    31. 

  31.       local
    32. 

  32.          i: INTEGER
    33. 

  33.       do
    34. 

  34.          if True and then i = 10 then
    35. 

  35.             do_nothing
    36. 

  36.          end
    37. 

  37.       end
    38. 

  38. 

  39. end -- class TEST_ALG10
    40. 

  40. --
    41. 

  41. -- ------------------------------------------------------------------------------------------------------------------------------
    42. 

  42. -- Copyright notice below. Please read.
    43. 

  43. --
    44. 

  44. -- SmartEiffel is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License,
    45. 

  45. -- as published by the Free Software Foundation; either version 2, or (at your option) any later version.
    46. 

  46. -- SmartEiffel is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY; without even the implied warranty
    47. 

  47. -- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have
    48. 

  48. -- received a copy of the GNU General Public License along with SmartEiffel; see the file COPYING. If not, write to the Free
    49. 

  49. -- Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
    50. 

  50. --
    51. 

  51. -- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P.       - University of Nancy 1 - FRANCE
    52. 

  52. -- Copyright(C) 2003-2006: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE
    53. 

  53. --
    54. 

  54. -- Authors: Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
    55. 

  55. --
    56. 

  56. -- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr
    57. 

  57. -- ------------------------------------------------------------------------------------------------------------------------------
    58.