/test/language/unclassified/wmh/test_wmh05.e

http://github.com/tybor/Liberty · Specman e · 22 lines · 16 code · 5 blank · 1 comment · 0 complexity · 9c32f104d020c85569ba7311d6fa1474 MD5 · raw file 

    

  1. class TEST_WMH05
    2. 

  2.    -- From a bug report of "Wai Ming, HO" <waimingh@irisa.fr>
    3. 

  3. 

  4. create {}
    5. 

  5.    make
    6. 

  6. 

  7. feature {}
    8. 

  8.    make
    9. 

  9.       do
    10. 

  10.          call_once_only
    11. 

  11.       end
    12. 

  12. 

  13.    count: INTEGER
    14. 

  14. 

  15.    call_once_only
    16. 

  16.       require
    17. 

  17.          count = 0
    18. 

  18.       do
    19. 

  19.          count := count + 1
    20. 

  20.       end
    21. 

  21. 

  22. end -- class TEST_WMH05
    23.