class TEST create make feature {NONE} -- Creation make local i: TYPED_POINTER [TYPED_POINTER [INTEGER]] do report (not attached {REAL_64} default_pointer, 1) report (attached {TYPED_POINTER [TYPED_POINTER [INTEGER]]} i, 2) report (not attached {TYPED_POINTER [TYPED_POINTER [POINTER]]} i, 3) end feature {NONE} -- Output report (is_passing: BOOLEAN; number: NATURAL_8) -- Report whether a test identified by `number` passes according to `is_passing`. do io.put_string ("Test #") io.put_natural_8 (number) io.put_string (if is_passing then ": OK" else ": Failed" end) io.put_new_line end end