class
	STORABLE

General
	cluster: elks
	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: detachable STRING_8
	Com_exception: INTEGER_32
	Create_on_deferred: INTEGER_32
	Developer_exception: INTEGER_32
	developer_exception_name: detachable 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_manager: EXCEPTION_MANAGER
	exception_trace: detachable 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: detachable STRING_8): BOOLEAN
	is_signal: BOOLEAN
	is_system_exception: BOOLEAN
	Loop_invariant: INTEGER_32
	Loop_variant: INTEGER_32
	meaning (except: INTEGER_32): detachable STRING_8
	No_more_memory: INTEGER_32
	Number_of_codes: INTEGER_32
	Old_exception: INTEGER_32
	Operating_system_exception: INTEGER_32
	original_class_name: detachable STRING_8
	original_exception: INTEGER_32
	original_recipient_name: detachable STRING_8
	original_tag_name: detachable STRING_8
	Out_of_memory: INTEGER_32
	Postcondition: INTEGER_32
	Precondition: INTEGER_32
	recipient_name: detachable STRING_8
	Rescue_exception: INTEGER_32
	Resumption_failed: INTEGER_32
	retrieve_by_name (file_name: READABLE_STRING_GENERAL): detachable ANY
	Retrieve_exception: INTEGER_32
	retrieved (medium: IO_MEDIUM): detachable ANY
	Routine_failure: INTEGER_32
	Runtime_check_exception: INTEGER_32
	Runtime_io_exception: INTEGER_32
	Serialization_exception: INTEGER_32
	Signal_exception: INTEGER_32
	tag_name: detachable 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)
	ignore (code: INTEGER_32)
	independent_store (medium: IO_MEDIUM)
	message_on_failure
	no_message_on_failure
	raise (name: detachable READABLE_STRING_GENERAL)
	raise_retrieval_exception (name: detachable READABLE_STRING_GENERAL)
	set_discard_pointers (v: BOOLEAN)
	store_by_name (file_name: READABLE_STRING_GENERAL)

Generated by ISE EiffelStudio