/test/language/unclassified/wmh/aux_wmh01bottom.e

http://github.com/tybor/Liberty · Specman e · 17 lines · 13 code · 4 blank · 0 comment · 0 complexity · 36ca64261b0426c78bedd1f5aa6fa25d MD5 · raw file 

    

  1. class AUX_WMH01BOTTOM
    2. 

  2. 

  3. inherit
    4. 

  4.    AUX_WMH01TOP
    5. 

  5.       redefine execute_once
    6. 

  6.       end
    7. 

  7. 

  8. feature {ANY}
    9. 

  9.    done2: BOOLEAN
    10. 

  10. 

  11.    execute_once
    12. 

  12.       once
    13. 

  13.          Precursor
    14. 

  14.          done2 := True
    15. 

  15.       end
    16. 

  16. 

  17. end -- class AUX_WMH01BOTTOM
    18.