/test/language/unclassified/wj/test_wj01.e

http://github.com/tybor/Liberty · Specman e · 20 lines · 14 code · 5 blank · 1 comment · 1 complexity · 80768a1dcc1d6fe7e6b5638176f6d819 MD5 · raw file 

    

  1. class TEST_WJ01
    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.       do
    10. 

  10.          create a.make("a")
    11. 

  11.          create c
    12. 

  12.          if c.output(a) /= Void then
    13. 

  13.          end
    14. 

  14.       end
    15. 

  15. 

  16.    a: AUX_WJ01A1
    17. 

  17. 

  18.    c: AUX_WJ01C1
    19. 

  19. 

  20. end -- class TEST_WJ01
    21.