aux_wmh03top.e | searchcode

/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

 1class AUX_WMH03TOP
 2
 3feature {ANY}
 4   done1: BOOLEAN
 5
 6   execute
 7      do
 8         done1 := True
 9      end
10
11end -- class AUX_WMH03TOP