class SED_STORABLE_FACILITIES General cluster: base description: "Serialize and deserialize objects to and from SED_READER_WRITER instances." Ancestors ANY Queries Eiffel_basic_store: NATURAL_32 Eiffel_independent_store: NATURAL_32 Eiffel_session_store: NATURAL_32 retrieved (a_reader: SED_READER_WRITER; a_is_gc_enabled: BOOLEAN): ANY Commands basic_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN) independent_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN) session_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN)