/test/language/unclassified/woj/test_woj03.e

http://github.com/tybor/Liberty · Specman e · 29 lines · 21 code · 6 blank · 2 comment · 0 complexity · 9f06ef540b6cf6e97b4970f35da54ce9 MD5 · raw file

  1. class TEST_WOJ03
  2. -- To complete TEST_WOJ01 (D.Colnet):
  3. -- From: Wolfgang Jansen <wolfgang@agnld.uni-potsdam.de>
  4. insert
  5. EIFFELTEST_TOOLS
  6. create {}
  7. make
  8. feature {ANY}
  9. make
  10. local
  11. string: STRING
  12. do
  13. create ref.make
  14. string := ref.s
  15. def := ref
  16. def.set(-99)
  17. assert(string /= ref.s)
  18. def := ref.twin
  19. assert(def /= ref)
  20. end
  21. def: AUX_WOJ01_DEF
  22. ref: AUX_WOJ01_REF
  23. end -- class TEST_WOJ03