/test/language/unclassified/wj/test_wj01.e
http://github.com/tybor/Liberty · Specman e · 20 lines · 14 code · 5 blank · 1 comment · 1 complexity · 80768a1dcc1d6fe7e6b5638176f6d819 MD5 · raw file
- class TEST_WJ01
- -- From: Gabriel Weißelberg <gabriel.weisselberg@brokat-le.com>
- create {}
- make
- feature {}
- make
- do
- create a.make("a")
- create c
- if c.output(a) /= Void then
- end
- end
- a: AUX_WJ01A1
- c: AUX_WJ01C1
- end -- class TEST_WJ01