/test/language/unclassified/wj/aux_wj01c1.e
http://github.com/tybor/Liberty · Specman e · 11 lines · 8 code · 3 blank · 0 comment · 0 complexity · 84ca167f0f118d5333c1fb1456024d5b MD5 · raw file
- class AUX_WJ01C1
- inherit
- AUX_WJ01C0
- redefine a
- end
- feature {ANY}
- a: AUX_WJ01A1
- end -- class AUX_WJ01C1