aux_wmh01top.e | searchcode

/test/language/unclassified/wmh/aux_wmh01top.e

http://github.com/tybor/Liberty
Specman e | 11 lines | 8 code | 3 blank | 0 comment | 0 complexity | 102c84116e2419aec029bc51835d014c MD5 | raw file

 1class AUX_WMH01TOP
 2
 3feature {ANY}
 4   done1: BOOLEAN
 5
 6   execute_once
 7      once
 8         done1 := True
 9      end
10
11end -- class AUX_WMH01TOP