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)

Generated by ISE EiffelStudio