/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
- class AUX_WMH01BOTTOM
- inherit
- AUX_WMH01TOP
- redefine execute_once
- end
- feature {ANY}
- done2: BOOLEAN
- execute_once
- once
- Precursor
- done2 := True
- end
- end -- class AUX_WMH01BOTTOM