Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class SED_MULTI_OBJECT_SERIALIZATION General cluster: ise description: "Serialize and deserialize multiple objects into one file." Ancestors ANY SED_STORABLE_FACILITIES Queries deserialized_object: detachable ANY Eiffel_basic_store: NATURAL_32 Eiffel_independent_store: NATURAL_32 Eiffel_recoverable_store: NATURAL_32 Eiffel_session_store: NATURAL_32 error_message: STRING_32 last_file_position: INTEGER_32 retrieved (a_reader: SED_READER_WRITER; a_is_gc_enabled: BOOLEAN): detachable ANY retrieved_errors: detachable ARRAYED_LIST [SED_ERROR] retrieved_from_medium (a_medium: IO_MEDIUM): detachable ANY successful: BOOLEAN Commands basic_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN) deserialize (path: READABLE_STRING_GENERAL; a_pos: INTEGER_32) serialize (a: ANY; path: READABLE_STRING_GENERAL; is_appending: BOOLEAN) session_store (an_object: ANY; a_writer: SED_READER_WRITER; a_optimized_for_retrieval: BOOLEAN) store (an_object: ANY; a_writer: SED_READER_WRITER) store_in_medium (an_object: ANY; a_medium: IO_MEDIUM)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org