/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. 

  2.    -- To complete TEST_WOJ01 (D.Colnet):
    3. 

  3.    -- From: Wolfgang Jansen <wolfgang@agnld.uni-potsdam.de>
    4. 

  4. 

  5. insert
    6. 

  6.    EIFFELTEST_TOOLS
    7. 

  7. 

  8. create {}
    9. 

  9.    make
    10. 

  10. 

  11. feature {ANY}
    12. 

  12.    make
    13. 

  13.       local
    14. 

  14.          string: STRING
    15. 

  15.       do
    16. 

  16.          create ref.make
    17. 

  17.          string := ref.s
    18. 

  18.          def := ref
    19. 

  19.          def.set(-99)
    20. 

  20.          assert(string /= ref.s)
    21. 

  21.          def := ref.twin
    22. 

  22.          assert(def /= ref)
    23. 

  23.       end
    24. 

  24. 

  25.    def: AUX_WOJ01_DEF
    26. 

  26. 

  27.    ref: AUX_WOJ01_REF
    28. 

  28. 

  29. end -- class TEST_WOJ03
    30.