/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. feature {ANY}
  3. done1: BOOLEAN
  4. execute
  5. do
  6. done1 := True
  7. end
  8. end -- class AUX_WMH03TOP