/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
- class AUX_WMH01TOP
- feature {ANY}
- done1: BOOLEAN
- execute_once
- once
- done1 := True
- end
- end -- class AUX_WMH01TOP