/test/language/unclassified/wmh/aux_wmh01bottom.e
Specman e | 17 lines | 13 code | 4 blank | 0 comment | 0 complexity | 36ca64261b0426c78bedd1f5aa6fa25d MD5 | raw file
1class AUX_WMH01BOTTOM 2 3inherit 4 AUX_WMH01TOP 5 redefine execute_once 6 end 7 8feature {ANY} 9 done2: BOOLEAN 10 11 execute_once 12 once 13 Precursor 14 done2 := True 15 end 16 17end -- class AUX_WMH01BOTTOM