aux_wmh01bottom.e | searchcode

/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

 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