/test/language/unclassified/wj/test_wj02.e

http://github.com/tybor/Liberty · Specman e · 18 lines · 14 code · 3 blank · 1 comment · 1 complexity · 8f8c255f0b2c74c190cf3e50884b5137 MD5 · raw file 

    

  1. class TEST_WJ02
    2. 

  2.    -- From: Gabriel Weißelberg <gabriel.weisselberg@brokat-le.com>
    3. 

  3. 

  4. create {}
    5. 

  5.    make
    6. 

  6. 

  7. feature {}
    8. 

  8.    make
    9. 

  9.       local
    10. 

  10.          a: AUX_WJ02A1; c: AUX_WJ02C1
    11. 

  11.       do
    12. 

  12.          create a.make("a")
    13. 

  13.          create c
    14. 

  14.          if c.output(a) /= Void then
    15. 

  15.          end
    16. 

  16.       end
    17. 

  17. 

  18. end -- class TEST_WJ02
    19.