/test/language/unclassified/test_fa2.e

http://github.com/tybor/Liberty · Specman e · 50 lines · 25 code · 3 blank · 22 comment · 1 complexity · 79196c73ae5f094fa45b9abbcf66e8cf 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_FA2
  5. -- From a bug report of Franck ARNAUD
  6. create {}
  7. make
  8. feature {ANY}
  9. make
  10. local
  11. strings: AUX_FA2DICO[STRING, INTEGER]; streams: AUX_FA2DICO[INPUT_STREAM, INTEGER]
  12. bidon1: AUX_FA2MY_SET[AUX_FA2DICO_NODE[STRING, INTEGER]]; bidon2: AUX_FA2DICO[STRING, INTEGER]
  13. bidon3: AUX_FA2DICO[INPUT_STREAM, INTEGER]
  14. bidon4: AUX_FA2MY_LINKED_LIST[AUX_FA2DICO_NODE[INPUT_STREAM, INTEGER]]
  15. bidon5: AUX_FA2MY_LINKED_LIST[AUX_FA2DICO_NODE[STRING, INTEGER]]
  16. bidon6: AUX_FA2MY_SET[AUX_FA2DICO_NODE[INPUT_STREAM, INTEGER]]; bobool: BOOLEAN
  17. do
  18. if bobool then
  19. strings.remove
  20. streams.remove
  21. end
  22. create bidon1
  23. create bidon2
  24. create bidon3
  25. create bidon4
  26. create bidon5
  27. create bidon6
  28. end
  29. end -- class TEST_FA2
  30. --
  31. -- ------------------------------------------------------------------------------------------------------------------------------
  32. -- Copyright notice below. Please read.
  33. --
  34. -- SmartEiffel is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License,
  35. -- as published by the Free Software Foundation; either version 2, or (at your option) any later version.
  36. -- SmartEiffel is distributed in the hope that it will be useful but WITHOUT ANY WARRANTY; without even the implied warranty
  37. -- of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have
  38. -- received a copy of the GNU General Public License along with SmartEiffel; see the file COPYING. If not, write to the Free
  39. -- Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA.
  40. --
  41. -- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P. - University of Nancy 1 - FRANCE
  42. -- Copyright(C) 2003-2006: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne - University of Nancy 2 - FRANCE
  43. --
  44. -- Authors: Dominique COLNET, Philippe RIBET, Cyril ADRIAN, Vincent CROIZIER, Frederic MERIZEN
  45. --
  46. -- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr
  47. -- ------------------------------------------------------------------------------------------------------------------------------