/test/language/unclassified/wmh/aux_wmh03top.e

http://github.com/tybor/Liberty · Specman e · 11 lines · 8 code · 3 blank · 0 comment · 0 complexity · d7a70191122e6364a8b8a5c09eef649a MD5 · raw file 

    

  1. class AUX_WMH03TOP
    2. 

  2. 

  3. feature {ANY}
    4. 

  4.    done1: BOOLEAN
    5. 

  5. 

  6.    execute
    7. 

  7.       do
    8. 

  8.          done1 := True
    9. 

  9.       end
    10. 

  10. 

  11. end -- class AUX_WMH03TOP
    12.