class TEST create make feature {NONE} -- Initialization make local i; j; k x y do x := <<i>> -- target and source i := 5 -- source => target x := <<j>> -- target => source y := <<j>> -- source => target y := <<k>> -- target => source report (1, x [1] = 0) report (2, y [1] = 0) report (3, x.generating_type ~ y.generating_type) end feature {NONE} -- Output report (test: INTEGER; value: BOOLEAN) -- Output `value' for test `test' on a new line. do io.put_string ("Test #") io.put_integer (test) if value then io.put_string (": OK.") else io.put_string (": Failed.") end io.put_new_line end end