note description: "Summary description for {WDOCS_FILE_OBJECT_CACHE}." author: "" date: "$Date$" revision: "$Revision$" class WDOCS_FILE_OBJECT_CACHE [G -> ANY] inherit WDOCS_FILE_CACHE [G] SED_STORABLE_FACILITIES create make feature {NONE} -- Implementation file_to_item (f: FILE): detachable G local retried: BOOLEAN l_reader: SED_MEDIUM_READER_WRITER l_void: detachable G do if retried then Result := l_void else create l_reader.make_for_reading (f) if attached {G} retrieved (l_reader, True) as l_data then Result := l_data end end rescue retried := True retry end item_to_file (a_data: G; f: FILE) local l_writer: SED_MEDIUM_READER_WRITER do create l_writer.make_for_writing (f) basic_store (a_data, l_writer, True) end end