    class
    	STORABLE

    General
    	cluster: base
    	description:
    		"Objects that may be stored and retrieved along with all their dependents.
    		This class may be used as ancestor by classes needing its facilities."

    Ancestors
    	EXCEPTIONS

    Queries
    	assertion_violation: BOOLEAN
    	Check_instruction: INTEGER_32
    	Class_invariant: INTEGER_32
    	class_name: STRING_8
    	Com_exception: INTEGER_32
    	Create_on_deferred: INTEGER_32
    	Developer_exception: INTEGER_32
    	developer_exception_name: STRING_8
    	Dollar_applied_to_melted_feature: INTEGER_32
    	Eiffel_runtime_fatal_error: INTEGER_32
    	Eiffel_runtime_panic: INTEGER_32
    	exception: INTEGER_32
    	Exception_in_signal_handler: INTEGER_32
    	exception_trace: STRING_8
    	External_exception: INTEGER_32
    	Floating_point_exception: INTEGER_32
    	Incorrect_inspect_value: INTEGER_32
    	Io_exception: INTEGER_32
    	is_developer_exception: BOOLEAN
    	is_developer_exception_of_name (name: STRING_8): BOOLEAN
    	is_signal: BOOLEAN
    	is_system_exception: BOOLEAN
    	Loop_invariant: INTEGER_32
    	Loop_variant: INTEGER_32
    	meaning (except: INTEGER_32): STRING_8
    	No_more_memory: INTEGER_32
    	Number_of_codes: INTEGER_32
    	Operating_system_exception: INTEGER_32
    	original_class_name: STRING_8
    	original_exception: INTEGER_32
    	original_recipient_name: STRING_8
    	original_tag_name: STRING_8
    	Out_of_memory: INTEGER_32
    	Postcondition: INTEGER_32
    	Precondition: INTEGER_32
    	recipient_name: STRING_8
    	Rescue_exception: INTEGER_32
    	Resumption_failed: INTEGER_32
    	retrieve_by_name (file_name: STRING_8): ANY
    	Retrieve_exception: INTEGER_32
    	retrieved (medium: IO_MEDIUM): ANY
    	Routine_failure: INTEGER_32
    	Runtime_check_exception: INTEGER_32
    	Runtime_io_exception: INTEGER_32
    	Signal_exception: INTEGER_32
    	tag_name: STRING_8
    	valid_code (c: INTEGER_32): BOOLEAN
    	Void_assigned_to_expanded: INTEGER_32
    	Void_call_target: INTEGER_32

    Commands
    	basic_store (medium: IO_MEDIUM)
    	catch (code: INTEGER_32)
    	die (code: INTEGER_32)
    	general_store (medium: IO_MEDIUM)
    	ignore (code: INTEGER_32)
    	independent_store (medium: IO_MEDIUM)
    	message_on_failure
    	no_message_on_failure
    	raise (name: STRING_8)
    	raise_retrieval_exception (name: STRING_8)
    	set_discard_pointers (v: BOOLEAN)
    	set_new_independent_format (v: BOOLEAN)
    	set_new_recoverable_format (v: BOOLEAN)
    	store_by_name (file_name: STRING_8)