/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. inherit
  3. AUX_WMH01TOP
  4. redefine execute_once
  5. end
  6. feature {ANY}
  7. done2: BOOLEAN
  8. execute_once
  9. once
  10. Precursor
  11. done2 := True
  12. end
  13. end -- class AUX_WMH01BOTTOM