class TEST inherit SED_STORABLE_FACILITIES create make feature {NONE} -- Creation make local f: RAW_FILE do ;(create {CELL [detachable A]}.put (Void)).do_nothing create f.make_open_read ("../data.dat") if not attached retrieved (create {SED_MEDIUM_READER_WRITER}.make_for_reading (f), True) as x then io.put_string ("Cannot retrieve an object.%N") elseif attached {CELL [A]} x as y then io.put_string ("Retrieved object successfully: " + y.item.generating_type.name + ".%N") else io.put_string ("Retrieved incompatible object: " + x.generating_type.name + ".%N") end f.close end end