/test/language/unclassified/wj/test_wj01.e

 1class TEST_WJ01
 2   -- From: Gabriel Wei�elberg <gabriel.weisselberg@brokat-le.com>
 3
 4create {}
 5   make
 6
 7feature {}
 8   make
 9      do
10         create a.make("a")
11         create c
12         if c.output(a) /= Void then
13         end
14      end
15
16   a: AUX_WJ01A1
17
18   c: AUX_WJ01C1
19
20end -- class TEST_WJ01